diff options
Diffstat (limited to 'testsuite/formal')
-rwxr-xr-x | testsuite/formal/shifts/testsuite.sh | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/testsuite/formal/shifts/testsuite.sh b/testsuite/formal/shifts/testsuite.sh index 38eb376..eb04217 100755 --- a/testsuite/formal/shifts/testsuite.sh +++ b/testsuite/formal/shifts/testsuite.sh @@ -1,5 +1,8 @@ #!/bin/sh +topdir=../.. +. $topdir/testenv.sh + for f in lsl lsr asr; do formal "test_${f}" done |