1.1 --- /dev/null Thu Jan 01 00:00:00 1970 +0000
1.2 +++ b/test_all.sh Tue Aug 30 21:52:43 2016 +0200
1.3 @@ -0,0 +1,27 @@
1.4 +#!/bin/sh
1.5 +
1.6 +for FILENAME in tests/* ; do
1.7 +
1.8 + # Detect tests in their own subdirectories.
1.9 +
1.10 + if [ -d "$FILENAME" ] ; then
1.11 + if [ -e "$FILENAME/main.py" ] ; then
1.12 + FILENAME="$FILENAME/main.py"
1.13 + else
1.14 + continue
1.15 + fi
1.16 + fi
1.17 +
1.18 + # Run tests without an existing cache.
1.19 +
1.20 + echo "$FILENAME..." 1>&2
1.21 + if ! ./lplc "$FILENAME" -r ; then exit 1 ; fi
1.22 + echo 1>&2
1.23 +
1.24 + # Run tests with an existing cache.
1.25 +
1.26 + echo "$FILENAME (cached)..." 1>&2
1.27 + if ! ./lplc "$FILENAME" ; then exit 1 ; fi
1.28 + echo 1>&2
1.29 +
1.30 +done