diff options
Diffstat (limited to 'testsuite')
-rw-r--r-- | testsuite/synth/issue1860/test.psl | 3 | ||||
-rw-r--r-- | testsuite/synth/issue1860/test.vhdl | 7 | ||||
-rw-r--r-- | testsuite/synth/issue1860/test_sub.vhdl | 6 | ||||
-rwxr-xr-x | testsuite/synth/issue1860/testsuite.sh | 8 |
4 files changed, 24 insertions, 0 deletions
diff --git a/testsuite/synth/issue1860/test.psl b/testsuite/synth/issue1860/test.psl new file mode 100644 index 000000000..60e004222 --- /dev/null +++ b/testsuite/synth/issue1860/test.psl @@ -0,0 +1,3 @@ +VUNIT test_formal (test) { + u_test_formal_test: ENTITY work.test_formal_test(formal); +} diff --git a/testsuite/synth/issue1860/test.vhdl b/testsuite/synth/issue1860/test.vhdl new file mode 100644 index 000000000..aabda0eba --- /dev/null +++ b/testsuite/synth/issue1860/test.vhdl @@ -0,0 +1,7 @@ +ENTITY test IS +END ENTITY; + +ARCHITECTURE rtl OF test IS +BEGIN +END ARCHITECTURE; + diff --git a/testsuite/synth/issue1860/test_sub.vhdl b/testsuite/synth/issue1860/test_sub.vhdl new file mode 100644 index 000000000..0872ed2bf --- /dev/null +++ b/testsuite/synth/issue1860/test_sub.vhdl @@ -0,0 +1,6 @@ +ENTITY test_formal_test IS +END ENTITY; + +ARCHITECTURE formal OF test_formal_test IS +BEGIN +END ARCHITECTURE; diff --git a/testsuite/synth/issue1860/testsuite.sh b/testsuite/synth/issue1860/testsuite.sh new file mode 100755 index 000000000..0525dba11 --- /dev/null +++ b/testsuite/synth/issue1860/testsuite.sh @@ -0,0 +1,8 @@ +#! /bin/sh + +. ../../testenv.sh + +GHDL_STD_FLAGS=--std=08 +synth test.vhdl test.psl test_sub.vhdl -e test > syn_test.vhdl + +echo "Test successful" |