diff options
Diffstat (limited to 'Test/symdiff/runtest.bat')
| -rw-r--r-- | Test/symdiff/runtest.bat | 9 |
1 files changed, 0 insertions, 9 deletions
diff --git a/Test/symdiff/runtest.bat b/Test/symdiff/runtest.bat deleted file mode 100644 index 1596661c..00000000 --- a/Test/symdiff/runtest.bat +++ /dev/null @@ -1,9 +0,0 @@ -@echo off
-setlocal
-
-set BGEXE=..\..\Binaries\Boogie.exe
-rem set BGEXE=mono ..\..\Binaries\Boogie.exe
-
-%BGEXE% %* /z3multipleErrors /errorTrace:0 foo.bpl
-
-
|