summaryrefslogtreecommitdiff
path: root/src/test.sh
diff options
context:
space:
mode:
Diffstat (limited to 'src/test.sh')
-rwxr-xr-xsrc/test.sh11
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;