diff options
| -rwxr-xr-x | testsuite/synth/issue1273/testsuite.sh | 4 | ||||
| -rw-r--r-- | testsuite/testenv.sh | 2 |
2 files changed, 3 insertions, 3 deletions
diff --git a/testsuite/synth/issue1273/testsuite.sh b/testsuite/synth/issue1273/testsuite.sh index 9cbb3de27..71f108eed 100755 --- a/testsuite/synth/issue1273/testsuite.sh +++ b/testsuite/synth/issue1273/testsuite.sh @@ -3,8 +3,8 @@ . ../../testenv.sh synth_analyze issue -synth_tb assert2 -synth_tb assert3 +synth_analyze assert2 +synth_analyze assert3 synth_tb assert4 synth_tb assert5 synth_failure assert6 diff --git a/testsuite/testenv.sh b/testsuite/testenv.sh index a935b01b5..4ab0d06bc 100644 --- a/testsuite/testenv.sh +++ b/testsuite/testenv.sh @@ -144,7 +144,7 @@ synth_tb() synth $t.vhdl -e $t > syn_$t.vhdl analyze syn_$t.vhdl tb_$t.vhdl - elab_simulate tb_$t --ieee-asserts=disable-at-0 + elab_simulate tb_$t --ieee-asserts=disable-at-0 --assert-level=error clean } |