diff options
| author | Alasdair Armstrong | 2019-06-04 17:36:22 +0100 |
|---|---|---|
| committer | Alasdair Armstrong | 2019-06-04 17:36:22 +0100 |
| commit | 37c5fb51e9986917a791de73435e182549e21fca (patch) | |
| tree | f6bd9bd26d80e51cf197b9ea8a5c9d5c3c61ec8b /test/aarch64_small/run_tests.sh | |
| parent | 239e13dc149af80f979ea95a3c9b42220481a0a1 (diff) | |
Make sure aarch64_small can generate Jib for SMT
Add a test case for this
Diffstat (limited to 'test/aarch64_small/run_tests.sh')
| -rwxr-xr-x | test/aarch64_small/run_tests.sh | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/test/aarch64_small/run_tests.sh b/test/aarch64_small/run_tests.sh index dc2bdde4..424252de 100755 --- a/test/aarch64_small/run_tests.sh +++ b/test/aarch64_small/run_tests.sh @@ -52,6 +52,13 @@ else red "failed to build lem" "fail" fi +if make -B -C ../../aarch64_small smt 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 |