diff options
Diffstat (limited to 'test/aarch64_small')
| -rwxr-xr-x | test/aarch64_small/run_tests.sh | 9 |
1 files changed, 8 insertions, 1 deletions
diff --git a/test/aarch64_small/run_tests.sh b/test/aarch64_small/run_tests.sh index cc6f223e..416ad9f1 100755 --- a/test/aarch64_small/run_tests.sh +++ b/test/aarch64_small/run_tests.sh @@ -45,13 +45,20 @@ function finish_suite { printf "<testsuites>\n" >> $DIR/tests.xml -if make -B -C ../../aarch64_small SAIL="$SAILDIR/sail" +if make -B -C ../../aarch64_small armV8.lem SAIL="$SAILDIR/sail" then green "built aarch64_small to lem" "ok" else red "failed to build lem" "fail" fi +if make -B -C ../../aarch64_small armV8.smt_model SAIL="$SAILDIR/sail" +then + green "compiled aarch64_small for SMT generation" "ok" +else + red "failed to build aarch64_small for SMT generation" "fail" +fi + finish_suite "aarch64_small tests" printf "</testsuites>\n" >> $DIR/tests.xml |