diff options
Diffstat (limited to 'testsuite/gna/ticket37')
-rw-r--r-- | testsuite/gna/ticket37/genint.vhdl | 15 | ||||
-rwxr-xr-x | testsuite/gna/ticket37/testsuite.sh | 8 |
2 files changed, 23 insertions, 0 deletions
diff --git a/testsuite/gna/ticket37/genint.vhdl b/testsuite/gna/ticket37/genint.vhdl new file mode 100644 index 000000000..742d1093e --- /dev/null +++ b/testsuite/gna/ticket37/genint.vhdl @@ -0,0 +1,15 @@ +package pkg is + subtype myint is integer range integer'low to 169; +end pkg; + +use work.pkg.all; + +entity genint is + generic (val : myint := 5); +end genint; + +architecture behav of genint is +begin + assert val = -159 or val = 9 severity failure; +end behav; + diff --git a/testsuite/gna/ticket37/testsuite.sh b/testsuite/gna/ticket37/testsuite.sh index ea51e5c79..0bbd20769 100755 --- a/testsuite/gna/ticket37/testsuite.sh +++ b/testsuite/gna/ticket37/testsuite.sh @@ -7,6 +7,14 @@ elab_simulate dispgen elab_simulate dispgen -gstr=Hello +analyze genint.vhdl +elab_simulate_failure genint + +simulate genint -gVAL=9 +simulate genint -gVal=-159 + +simulate_failure genint -gval=200 + clean echo "Test successful" |