diff options
author | Tristan Gingold <tgingold@free.fr> | 2021-09-11 16:51:12 +0200 |
---|---|---|
committer | Tristan Gingold <tgingold@free.fr> | 2021-09-11 16:51:12 +0200 |
commit | 81bcf6d784b6be3e334217e23d9ba37d754c3fe8 (patch) | |
tree | 73ed91d387e53ae3b9095421a3a8514c75415b11 /testsuite | |
parent | 20e3f9f61762661b5da31cb35971715635010057 (diff) | |
download | ghdl-81bcf6d784b6be3e334217e23d9ba37d754c3fe8.tar.gz ghdl-81bcf6d784b6be3e334217e23d9ba37d754c3fe8.tar.bz2 ghdl-81bcf6d784b6be3e334217e23d9ba37d754c3fe8.zip |
testsuite/synth: add a test for #1859
Diffstat (limited to 'testsuite')
-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" |