diff options
| author | Alasdair Armstrong | 2018-01-16 18:20:05 +0000 |
|---|---|---|
| committer | Alasdair Armstrong | 2018-01-16 18:20:05 +0000 |
| commit | c833f4b6a1edbb47eac78ba4ad0db330076281e8 (patch) | |
| tree | 067bedbf81fb7822fcb9d47d4ceaf21dcdd7827d /test/run_tests.sh | |
| parent | ad78d4657ddf704633068872530ed2134a09406f (diff) | |
Improve formatting of output when running all test suites.
Diffstat (limited to 'test/run_tests.sh')
| -rwxr-xr-x | test/run_tests.sh | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/test/run_tests.sh b/test/run_tests.sh index 73f622c7..669a420a 100755 --- a/test/run_tests.sh +++ b/test/run_tests.sh @@ -4,5 +4,15 @@ set -e DIR="$( cd "$( dirname "${BASH_SOURCE[0]}" )" && pwd )" cd $DIR/.. + +printf "******************************************\n" +printf "* Typechecking tests *\n" +printf "******************************************\n\n" + ./test/typecheck/run_tests.sh + +printf "******************************************\n" +printf "* Ocaml tests *\n" +printf "******************************************\n\n" + ./test/ocaml/run_tests.sh |