diff options
| author |  qadeer <qadeer@microsoft.com> | 2011-06-22 22:54:58 -0700 |
|---|---|---|
| committer | qadeer <qadeer@microsoft.com> | 2011-06-22 22:54:58 -0700 |
| commit | 2b81b9d7e787409913f4c0488c0b3310a4e9e5a0 (patch) | |
| tree | e936b620fba830b851bbf65d9205ecb2da26d539 /Test/z3api | |
| parent | 83d2c5476f3828f41949fad32a9ef8e8698ed569 (diff) | |
clean up in z3api
Diffstat (limited to 'Test/z3api')
| -rw-r--r-- | Test/z3api/runtest.bat | 7 |
1 files changed, 2 insertions, 5 deletions
diff --git a/Test/z3api/runtest.bat b/Test/z3api/runtest.bat index 08a27b9b..e9bc968e 100644 --- a/Test/z3api/runtest.bat +++ b/Test/z3api/runtest.bat @@ -3,17 +3,14 @@ setlocal set BGEXE=..\..\Binaries\Boogie.exe
-for %%f in (boog0.bpl boog1.bpl boog2.bpl boog3.bpl boog4.bpl boog5.bpl boog6.bpl boog7.bpl boog9.bpl boog10.bpl boog11.bpl boog13.bpl boog18.bpl boog20.bpl boog21.bpl boog22.bpl boog24.bpl boog28.bpl boog29.bpl boog30.bpl boog31.bpl boog34.bpl) do (
+for %%f in (boog0.bpl boog1.bpl boog2.bpl boog3.bpl boog4.bpl boog5.bpl boog6.bpl boog7.bpl boog8.bpl boog9.bpl boog10.bpl boog11.bpl boog13.bpl boog14.bpl boog16.bpl boog17.bpl boog18.bpl boog20.bpl boog21.bpl boog22.bpl boog24.bpl boog28.bpl boog29.bpl boog30.bpl boog31.bpl boog34.bpl) do (
echo.
echo -------------------- %%f --------------------
%BGEXE% %* /nologo /typeEncoding:m /prover:z3api %%f
)
-REM boog8.bpl
+
REM boog12.bpl
-REM boog14.bpl
REM boog15.bpl
-REM boog16.bpl
-REM boog17.bpl
REM boog19.bpl
REM boog23.bpl
|