diff options
Diffstat (limited to 'testsuite/synth/issue1273')
| -rwxr-xr-x | testsuite/synth/issue1273/testsuite.sh | 4 |
1 files changed, 2 insertions, 2 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 |