diff options
Diffstat (limited to 'test')
| -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 a228e270..1af340d8 100755 --- a/test/run_tests.sh +++ b/test/run_tests.sh @@ -36,6 +36,12 @@ printf "==========================================\n" TEST_PAR=8 ./c/run_tests.py printf "\n==========================================\n" +printf "SMT tests\n" +printf "==========================================\n" + +TEST_PAR=8 ./smt/run_tests.py + +printf "\n==========================================\n" printf "Builtins tests\n" printf "==========================================\n" |