diff options
| author | Alasdair Armstrong | 2018-01-23 21:16:53 +0000 |
|---|---|---|
| committer | Alasdair Armstrong | 2018-01-23 21:16:53 +0000 |
| commit | dfa7d1d79631ce26ce6be98ddcf9a8c8e5d171f8 (patch) | |
| tree | 88451ed7d2e51bba0c3814c4ef712eb5bd4a2638 /test/run_tests.sh | |
| parent | d94404854c10960c881b5146f81d4483e73a8ca6 (diff) | |
| parent | 4ec26c81830b26957dfac205eb60b522890fb007 (diff) | |
Merge branch 'sail2' of https://bitbucket.org/Peter_Sewell/sail into sail2
Diffstat (limited to 'test/run_tests.sh')
| -rwxr-xr-x | test/run_tests.sh | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/test/run_tests.sh b/test/run_tests.sh index fc93929f..b3224aea 100755 --- a/test/run_tests.sh +++ b/test/run_tests.sh @@ -18,6 +18,12 @@ printf "******************************************\n\n" ./test/ocaml/run_tests.sh printf "******************************************\n" +printf "* Lem tests *\n" +printf "******************************************\n\n" + +./test/lem/run_tests.sh + +printf "******************************************\n" printf "* ARM spec tests *\n" printf "******************************************\n\n" |