summaryrefslogtreecommitdiff
path: root/test
diff options
context:
space:
mode:
Diffstat (limited to 'test')
-rwxr-xr-xtest/ocaml/run_tests.sh2
-rwxr-xr-xtest/run_tests.sh10
-rwxr-xr-xtest/typecheck/run_tests.sh2
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=""