diff options
| author | Alasdair Armstrong | 2019-07-31 15:29:08 +0100 |
|---|---|---|
| committer | Alasdair Armstrong | 2019-07-31 15:29:08 +0100 |
| commit | 0f989c147c087e37e971cfdc988d138cbfbf104b (patch) | |
| tree | f4488457a44c9453ed04469820d5f87c8945e593 /test/run_tests.sh | |
| parent | 7612369a3ca20a97257b6fa29b28e1b4939641dc (diff) | |
Remove redundant ifdef and run SMT tests by default
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 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" |