aboutsummaryrefslogtreecommitdiffstats
path: root/testsuite/synth/issue1654/testsuite.sh
diff options
context:
space:
mode:
Diffstat (limited to 'testsuite/synth/issue1654/testsuite.sh')
-rwxr-xr-xtestsuite/synth/issue1654/testsuite.sh21
1 files changed, 21 insertions, 0 deletions
diff --git a/testsuite/synth/issue1654/testsuite.sh b/testsuite/synth/issue1654/testsuite.sh
new file mode 100755
index 000000000..bfd1077f7
--- /dev/null
+++ b/testsuite/synth/issue1654/testsuite.sh
@@ -0,0 +1,21 @@
+#! /bin/sh
+
+. ../../testenv.sh
+
+GHDL_STD_FLAGS=--std=08
+
+# Need to disable asserts at 0.
+#synth_tb checker
+
+t=checker
+
+analyze $t.vhdl tb_$t.vhdl
+elab_simulate tb_$t
+clean
+
+synth $t.vhdl -e $t > syn_$t.vhdl
+analyze syn_$t.vhdl tb_$t.vhdl
+elab_simulate tb_$t --asserts=disable-at-0 --assert-level=error
+clean
+
+echo "Test successful"