diff options
Diffstat (limited to 'testsuite/synth/issue662/testsuite.sh')
| -rwxr-xr-x | testsuite/synth/issue662/testsuite.sh | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/testsuite/synth/issue662/testsuite.sh b/testsuite/synth/issue662/testsuite.sh index cf8647e76..2ff5d4a7c 100755 --- a/testsuite/synth/issue662/testsuite.sh +++ b/testsuite/synth/issue662/testsuite.sh @@ -11,6 +11,9 @@ for test in psl_prev psl_stable psl_rose psl_fell psl_onehot psl_onehot0; do elab_simulate tb_${test} --stop-time=10ns --asserts=disable-at-0 --assert-level=error done +analyze_failure psl_fell_err1.vhdl +analyze_failure psl_onehot_err.vhdl + clean echo "Test successful" |