diff options
| author |  rustanleino <unknown> | 2010-09-23 02:03:11 +0000 |
|---|---|---|
| committer | rustanleino <unknown> | 2010-09-23 02:03:11 +0000 |
| commit | a3d28fd0c7d454667b6bea71a34b89e47b66d611 (patch) | |
| tree | c8ab912181bd5b57ae8675744687a1feb1020273 /Test/test15/runtest.bat | |
| parent | 40021fe7042eb08ed5b4d16034e23c9ed022c4aa (diff) | |
Boogie:
* Added /mv flag as the start of a Boogie replacement for /cev
* Allow attributes on assume statements
* /mv looks for the assume-statement attribute :captureState with a string-literal argument
Diffstat (limited to 'Test/test15/runtest.bat')
| -rw-r--r-- | Test/test15/runtest.bat | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/Test/test15/runtest.bat b/Test/test15/runtest.bat index 90771065..fc25c876 100644 --- a/Test/test15/runtest.bat +++ b/Test/test15/runtest.bat @@ -9,8 +9,8 @@ for %%f in (NullInModel IntInModel ModelTest) do ( echo -------------------- %%f --------------------
"%BGEXE%" %* %%f.bpl /printModel:2
)
-for %%f in (InterpretedFunctionTests) do (
+for %%f in (InterpretedFunctionTests CaptureState) do (
echo.
echo -------------------- %%f --------------------
- "%BGEXE%" %* %%f.bpl
+ "%BGEXE%" %* %%f.bpl
)
|