diff options
author | rustanleino <unknown> | 2009-11-05 01:24:43 +0000 |
---|---|---|
committer | rustanleino <unknown> | 2009-11-05 01:24:43 +0000 |
commit | ddede5ad5f9236d8ee4e1e75ba3ecfd7077d9296 (patch) | |
tree | b2c7adc1e94b67d774aec3520d9c285662f94b60 /Test/VSI-Benchmarks/runtest.bat | |
parent | b5a942353fc4cf0b6a6c3df853860171e421a26a (diff) |
Introduced operator !in in Dafny. An expression "x !in S" is equivalent to "!(x in S)".
Changed Dafny test files to use the new operator.
Included the file b8.dfy into the VSI-Benchmarks test harness.
Diffstat (limited to 'Test/VSI-Benchmarks/runtest.bat')
-rw-r--r-- | Test/VSI-Benchmarks/runtest.bat | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/Test/VSI-Benchmarks/runtest.bat b/Test/VSI-Benchmarks/runtest.bat index a8658aef..fa737dca 100644 --- a/Test/VSI-Benchmarks/runtest.bat +++ b/Test/VSI-Benchmarks/runtest.bat @@ -7,7 +7,8 @@ set BPLEXE=%BOOGIEDIR%\Boogie.exe -for %%f in ( b1.dfy b2.dfy b3.dfy b4.dfy b5.dfy b6.dfy b7.dfy) do (
+for %%f in ( b1.dfy b2.dfy b3.dfy b4.dfy b5.dfy b6.dfy b7.dfy
+ b8.dfy ) do (
echo.
echo -------------------- %%f --------------------
%DAFNY_EXE% %* %%f
|