diff options
Diffstat (limited to 'testsuite/gna/issue45/testsuite.sh')
| -rwxr-xr-x | testsuite/gna/issue45/testsuite.sh | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/testsuite/gna/issue45/testsuite.sh b/testsuite/gna/issue45/testsuite.sh index 71bfe447b..79e947ecc 100755 --- a/testsuite/gna/issue45/testsuite.sh +++ b/testsuite/gna/issue45/testsuite.sh @@ -10,6 +10,9 @@ elab_simulate psl_test_endpoint --psl-report=psl.out grep -q '"cover-pass": 3' psl.out rm psl.out +analyze test2.vhdl +elab_simulate psl_test2_endpoint --assert-level=error --expect-failure + clean echo "Test successful" |