diff options
Diffstat (limited to 'testsuite/synth/psl02/testsuite.sh')
| -rwxr-xr-x | testsuite/synth/psl02/testsuite.sh | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/testsuite/synth/psl02/testsuite.sh b/testsuite/synth/psl02/testsuite.sh index 76b8c58eb..a45a0e0ff 100755 --- a/testsuite/synth/psl02/testsuite.sh +++ b/testsuite/synth/psl02/testsuite.sh @@ -27,4 +27,9 @@ analyze syn_assert23.vhdl clean +synth assert2.vhdl verif5.vhdl -e assert2 > syn_assert25.vhdl +analyze syn_assert25.vhdl + +clean + echo "Test successful" |