diff options
| author | Alasdair Armstrong | 2020-09-27 02:10:52 +0100 |
|---|---|---|
| committer | GitHub | 2020-09-27 02:10:52 +0100 |
| commit | 882850db49cffef75e11eef8cf00364611e54e19 (patch) | |
| tree | 9601d70612d61b1144bc0c41106eee01e9beecf0 /test/typecheck | |
| parent | b73aaf6d7209d693e295abcc499fa2f759cb877e (diff) | |
| parent | cd32009738e05e4eb7f7e0e25ccf700525a7badb (diff) | |
Merge pull request #96 from arichardson/add-latex-tests-and-allow-external-links
Add latex tests and allow external links
Diffstat (limited to 'test/typecheck')
| -rwxr-xr-x | test/typecheck/run_tests.sh | 38 |
1 files changed, 2 insertions, 36 deletions
diff --git a/test/typecheck/run_tests.sh b/test/typecheck/run_tests.sh index e0720baf..bfc77899 100755 --- a/test/typecheck/run_tests.sh +++ b/test/typecheck/run_tests.sh @@ -4,47 +4,13 @@ set -e DIR="$( cd "$( dirname "${BASH_SOURCE[0]}" )" && pwd )" SAILDIR="$DIR/../.." -RED='\033[0;91m' -GREEN='\033[0;92m' -YELLOW='\033[0;93m' -NC='\033[0m' - mkdir -p $DIR/rtpass mkdir -p $DIR/rtpass2 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" printf "<testsuites>\n" >> $DIR/tests.xml |
