1 #!/bin/sh 2 3 for FILENAME in tests/* ; do 4 5 # Detect tests in their own subdirectories. 6 7 if [ -d "$FILENAME" ] ; then 8 if [ -e "$FILENAME/main.py" ] ; then 9 FILENAME="$FILENAME/main.py" 10 else 11 continue 12 fi 13 fi 14 15 # Run tests without an existing cache. 16 17 echo "$FILENAME..." 1>&2 18 if ! ./lplc "$FILENAME" -r ; then exit 1 ; fi 19 echo 1>&2 20 21 # Run tests with an existing cache. 22 23 echo "$FILENAME (cached)..." 1>&2 24 if ! ./lplc "$FILENAME" ; then exit 1 ; fi 25 echo 1>&2 26 27 # Check for unresolved names in the cache. 28 29 if grep -e '<depends>' -r "_cache" ; then exit 1 ; fi 30 31 done
