aboutsummaryrefslogtreecommitdiffstats
path: root/testsuite/synth/psl02/testsuite.sh
diff options
context:
space:
mode:
authorTristan Gingold <tgingold@free.fr>2019-08-20 05:22:47 +0200
committerTristan Gingold <tgingold@free.fr>2019-08-20 05:22:47 +0200
commit88c51aef36eb0e98b4df8285cad738917ebc0e29 (patch)
treef4dd74241e076bba9c8dfe6ac93c6695639c8ce7 /testsuite/synth/psl02/testsuite.sh
parent6bb756cc46b8c717d7f84cbe6e01ed79f84f484a (diff)
downloadghdl-88c51aef36eb0e98b4df8285cad738917ebc0e29.tar.gz
ghdl-88c51aef36eb0e98b4df8285cad738917ebc0e29.tar.bz2
ghdl-88c51aef36eb0e98b4df8285cad738917ebc0e29.zip
testsuite/synth: add a test for previous commit.
Diffstat (limited to 'testsuite/synth/psl02/testsuite.sh')
-rwxr-xr-xtestsuite/synth/psl02/testsuite.sh7
1 files changed, 7 insertions, 0 deletions
diff --git a/testsuite/synth/psl02/testsuite.sh b/testsuite/synth/psl02/testsuite.sh
index 53a6de2d8..0b16872c1 100755
--- a/testsuite/synth/psl02/testsuite.sh
+++ b/testsuite/synth/psl02/testsuite.sh
@@ -10,9 +10,16 @@ analyze syn_assert1.vhdl
synth assert2.vhdl verif1.vhdl -e assert2 > syn_assert21.vhdl
analyze syn_assert21.vhdl
+clean
+
synth assert2.vhdl verif2.vhdl -e assert2 > syn_assert22.vhdl
analyze syn_assert22.vhdl
clean
+synth assert2.vhdl verif3.vhdl -e assert2 > syn_assert23.vhdl
+analyze syn_assert23.vhdl
+
+clean
+
echo "Test successful"