diff options
Diffstat (limited to 'testsuite/synth')
| -rw-r--r-- | testsuite/synth/issue1859/test.psl | 6 | ||||
| -rw-r--r-- | testsuite/synth/issue1859/test.vhdl | 6 | ||||
| -rwxr-xr-x | testsuite/synth/issue1859/testsuite.sh | 8 |
3 files changed, 20 insertions, 0 deletions
diff --git a/testsuite/synth/issue1859/test.psl b/testsuite/synth/issue1859/test.psl new file mode 100644 index 000000000..31cae33bf --- /dev/null +++ b/testsuite/synth/issue1859/test.psl @@ -0,0 +1,6 @@ +VUNIT test_formal (test) { + gen_test1: IF (true) GENERATE + gen_test2: IF (true) GENERATE + END GENERATE; + END GENERATE; +} diff --git a/testsuite/synth/issue1859/test.vhdl b/testsuite/synth/issue1859/test.vhdl new file mode 100644 index 000000000..02d9cb406 --- /dev/null +++ b/testsuite/synth/issue1859/test.vhdl @@ -0,0 +1,6 @@ +ENTITY test IS +END ENTITY; + +ARCHITECTURE rtl OF test IS +BEGIN +END ARCHITECTURE; diff --git a/testsuite/synth/issue1859/testsuite.sh b/testsuite/synth/issue1859/testsuite.sh new file mode 100755 index 000000000..7fd01226d --- /dev/null +++ b/testsuite/synth/issue1859/testsuite.sh @@ -0,0 +1,8 @@ +#! /bin/sh + +. ../../testenv.sh + +GHDL_STD_FLAGS=--std=08 +synth test.vhdl test.psl -e > syn_test.vhdl + +echo "Test successful" |