Merge pull request #96 from arichardson/add-latex-tests-and-allow-external-links

Add latex tests and allow external links

1 files changed, 2 insertions, 30 deletions

diff --git a/test/isabelle/run_tests.sh b/test/isabelle/run_tests.sh
index 7b3f7bc1..ebc3472c 100755
--- a/test/isabelle/run_tests.sh
+++ b/test/isabelle/run_tests.sh
@@ -13,36 +13,8 @@ NC='\033[0m'
 
 rm -f $DIR/tests.xml
 
-pass=0
-fail=0
-XML=""
-
-function green {
-    (( pass += 1 ))
-    printf "$1: ${GREEN}$2${NC}\n"
-    XML+="    <testcase name=\"$1\"/>\n"
-}
-
-function yellow {
-    (( fail += 1 ))
-    printf "$1: ${YELLOW}$2${NC}\n"
-    XML+="    <testcase name=\"$1\">\n      <error message=\"$2\">$2</error>\n    </testcase>\n"
-}
-
-function red {
-    (( fail += 1 ))
-    printf "$1: ${RED}$2${NC}\n"
-    XML+="    <testcase name=\"$1\">\n      <error message=\"$2\">$2</error>\n    </testcase>\n"
-}
-
-function finish_suite {
-    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=""
-    pass=0
-    fail=0
-}
+# shellcheck source=../test_helpers.sh
+source "$SAILDIR/test/test_helpers.sh"
 
 SAILLIBDIR="$DIR/../../lib/"