diff options
| author |  Unknown <qadeer@FAIZ-AHMED-FAIZ.redmond.corp.microsoft.com> | 2013-03-03 22:43:56 -0800 |
|---|---|---|
| committer | Unknown <qadeer@FAIZ-AHMED-FAIZ.redmond.corp.microsoft.com> | 2013-03-03 22:43:56 -0800 |
| commit | 68a39909f93535ad4d091fce647d8a0e8539508f (patch) | |
| tree | 2b1f666381bcb13849cdc3797b4d36cf9a84a47f /Test/linear/runtest.bat | |
| parent | 8f5515633b1273670a96a2c6b961317293d07ebf (diff) | |
fixed bugs in both parallel calls and linear stuff (reported by Chris)
also added improved error reporting suggested by Chris
Diffstat (limited to 'Test/linear/runtest.bat')
| -rw-r--r-- | Test/linear/runtest.bat | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Test/linear/runtest.bat b/Test/linear/runtest.bat index df176994..d054b097 100644 --- a/Test/linear/runtest.bat +++ b/Test/linear/runtest.bat @@ -3,7 +3,7 @@ setlocal set BGEXE=..\..\Binaries\Boogie.exe
-for %%f in (typecheck.bpl list.bpl) do (
+for %%f in (typecheck.bpl list.bpl allocator.bpl) do (
echo.
echo -------------------- %%f --------------------
%BGEXE% %* /nologo /noinfer /typeEncoding:m /useArrayTheory /doModSetAnalysis %%f
|