diff options
Diffstat (limited to 'test')
| -rwxr-xr-x | test/ocaml/run_tests.sh | 2 | ||||
| -rwxr-xr-x | test/run_tests.sh | 10 | ||||
| -rwxr-xr-x | test/typecheck/run_tests.sh | 2 |
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="" |
