diff options
Diffstat (limited to 'src/test.sh')
-rwxr-xr-x | src/test.sh | 11 |
1 files changed, 10 insertions, 1 deletions
diff --git a/src/test.sh b/src/test.sh index 34a6997..525be77 100755 --- a/src/test.sh +++ b/src/test.sh @@ -36,7 +36,7 @@ for a in ../tests/exec/*.cpp; do done; echo "---" -echo "Testing TYPING/GOOD for typing" +echo "Testing TYPING/" for a in ../tests/typing/good/*.cpp; do if ./main.byte $a; then echo "OK $a"; @@ -50,3 +50,12 @@ for a in ../tests/typing/bad/*.cpp; do else echo "OK $a"; fi; done; + +echo "---" +echo "Testing EXEC/ only against typing" +for a in ../tests/exec/*.cpp; do + if ./main.byte --type-only $a; + then echo "OK $a"; + else echo "FAIL $a"; + fi; +done; |