diff options
| -rw-r--r-- | Makefile | 2 | ||||
| -rwxr-xr-x | run_tests.sh | 2 | ||||
| -rw-r--r-- | test/xfails | 2 |
3 files changed, 3 insertions, 3 deletions
@@ -14,7 +14,7 @@ update.o: update.c cell.h display.h .PHONY: test test: test-solver - - ./run_tests.sh + ./run_tests.sh clean: rm -f *.o solver test-solver diff --git a/run_tests.sh b/run_tests.sh index a5ebb81..e185b3f 100755 --- a/run_tests.sh +++ b/run_tests.sh @@ -10,7 +10,7 @@ XFAILS="$PWD/test/xfails" test_fail() { t="$(basename $1)" reason="$2" - if grep -q "$t" "$XFAILS" ; then + if grep -q "^$t\b" "$XFAILS" ; then echo -e '[\e[34;1mXFAIL\e[0m]'" $t: $reason" ((t_xfail++)) else diff --git a/test/xfails b/test/xfails index 75c1fd5..64c817c 100644 --- a/test/xfails +++ b/test/xfails @@ -1 +1 @@ -100-medium +100-medium - Solver cannot yet make uncertain/exploratory steps |