aboutsummaryrefslogtreecommitdiffstats
path: root/testsuite/synth
diff options
context:
space:
mode:
Diffstat (limited to 'testsuite/synth')
-rw-r--r--testsuite/synth/issue1860/test.psl3
-rw-r--r--testsuite/synth/issue1860/test.vhdl7
-rw-r--r--testsuite/synth/issue1860/test_sub.vhdl6
-rwxr-xr-xtestsuite/synth/issue1860/testsuite.sh8
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"