Improve formatting of output when running all test suites.

3 files changed, 12 insertions, 2 deletions

diff --git a/test/ocaml/run_tests.sh b/test/ocaml/run_tests.sh
index aad3aa39..ccc3889e 100755
--- a/test/ocaml/run_tests.sh
+++ b/test/ocaml/run_tests.sh
@@ -35,7 +35,7 @@ function red {
 }
 
 function finish_suite {
-    printf "$1: Passed ${pass} out of $(( pass + fail ))\n"
+    printf "$1: Passed ${pass} out of $(( pass + fail ))\n\n"
     XML="  <testsuite name=\"$1\" tests=\"$(( pass + fail ))\" failures=\"${fail}\" timestamp=\"$(date)\">\n$XML  </testsuite>\n"
     printf "$XML" >> $DIR/tests.xml
     XML=""
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
diff --git a/test/typecheck/run_tests.sh b/test/typecheck/run_tests.sh
index 8da7347f..1ece2a15 100755
--- a/test/typecheck/run_tests.sh
+++ b/test/typecheck/run_tests.sh
@@ -38,7 +38,7 @@ function red {
 }
 
 function finish_suite {
-    printf "$1: Passed ${pass} out of $(( pass + fail ))\n"
+    printf "$1: Passed ${pass} out of $(( pass + fail ))\n\n"
     XML="  <testsuite name=\"$1\" tests=\"$(( pass + fail ))\" failures=\"${fail}\" timestamp=\"$(date)\">\n$XML  </testsuite>\n"
     printf "$XML" >> $DIR/tests.xml
     XML=""