diff options
Diffstat (limited to 'testsuite/synth/psl01/testsuite.sh')
-rwxr-xr-x | testsuite/synth/psl01/testsuite.sh | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/testsuite/synth/psl01/testsuite.sh b/testsuite/synth/psl01/testsuite.sh index 7707566f7..fe19e38c6 100755 --- a/testsuite/synth/psl01/testsuite.sh +++ b/testsuite/synth/psl01/testsuite.sh @@ -8,6 +8,9 @@ for f in restrict1 restrict2 assume1 assume2 assert1 cover1 cover2; do synth -fpsl $f.vhdl -e $f > syn_$f.vhdl analyze syn_$f.vhdl done + +synth_failure cover3.vhdl -e cover3 + clean echo "Test successful" |