diff options
Diffstat (limited to 'testsuite/synth/issue1273/testsuite.sh')
| -rwxr-xr-x | testsuite/synth/issue1273/testsuite.sh | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/testsuite/synth/issue1273/testsuite.sh b/testsuite/synth/issue1273/testsuite.sh index 5dceb56ee..9cbb3de27 100755 --- a/testsuite/synth/issue1273/testsuite.sh +++ b/testsuite/synth/issue1273/testsuite.sh @@ -5,5 +5,11 @@ synth_analyze issue synth_tb assert2 synth_tb assert3 +synth_tb assert4 +synth_tb assert5 +synth_failure assert6 +synth_analyze assert7 + +clean echo "Test successful" |