Merge branch 'sail2' into monads

1 files changed, 7 insertions, 7 deletions

diff --git a/test/run_tests.sh b/test/run_tests.sh
index 5e6fe691..ba0a2112 100755
--- a/test/run_tests.sh
+++ b/test/run_tests.sh
@@ -12,28 +12,28 @@ printf "==========================================\n"
 ./typecheck/run_tests.sh
 
 printf "\n==========================================\n"
-printf "Ocaml tests\n"
+printf "Lem tests\n"
 printf "==========================================\n"
 
-./ocaml/run_tests.sh
+./lem/run_tests.sh
 
 printf "\n==========================================\n"
-printf "C tests\n"
+printf "Ocaml tests\n"
 printf "==========================================\n"
 
-./c/run_tests.py
+./ocaml/run_tests.sh
 
 printf "\n==========================================\n"
-printf "Lem tests\n"
+printf "C tests\n"
 printf "==========================================\n"
 
-./lem/run_tests.sh
+TEST_PAR=8 ./c/run_tests.py
 
 printf "\n==========================================\n"
 printf "Builtins tests\n"
 printf "==========================================\n"
 
-./builtins/run_tests.py
+TEST_PAR=4 ./builtins/run_tests.py
 
 printf "\n==========================================\n"
 printf "ARM spec tests\n"