Add more forall test cases.

This commit is contained in:
Gavin Schulz
2015-01-14 22:51:34 -08:00
parent 7716ad6263
commit f2b334d7d2
5 changed files with 7 additions and 5 deletions
+1 -1
View File
@@ -60,7 +60,7 @@ static const char* libSource =
"\n"
" forall(f) {\n"
" for (element in this) {\n"
" if (f.call(element) != true) return false\n"
" if (!f.call(element)) return false\n"
" }\n"
" return true\n"
" }\n"