From c833f4b6a1edbb47eac78ba4ad0db330076281e8 Mon Sep 17 00:00:00 2001
From: Alasdair Armstrong
Date: Tue, 16 Jan 2018 18:20:05 +0000
Subject: Improve formatting of output when running all test suites.

---
 test/ocaml/run_tests.sh     |  2 +-
 test/run_tests.sh           | 10 ++++++++++
 test/typecheck/run_tests.sh |  2 +-
 3 files changed, 12 insertions(+), 2 deletions(-)

(limited to 'test')

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=""
-- 
cgit v1.2.3