diff options
Diffstat (limited to 'testsuite/synth/issue1460/testsuite.sh')
-rwxr-xr-x | testsuite/synth/issue1460/testsuite.sh | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/testsuite/synth/issue1460/testsuite.sh b/testsuite/synth/issue1460/testsuite.sh index a0520d8bb..b3b2efd6c 100755 --- a/testsuite/synth/issue1460/testsuite.sh +++ b/testsuite/synth/issue1460/testsuite.sh @@ -8,6 +8,7 @@ for t in leftmost01 leftmost02 leftmost03 rightmost01 rightmost02; do synth_tb $t done +synth_analyze to01_float synth_analyze division_float echo "Test successful" |