diff options
| author |  mschwerhoff <unknown> | 2012-03-26 10:26:56 +0200 |
|---|---|---|
| committer | mschwerhoff <unknown> | 2012-03-26 10:26:56 +0200 |
| commit | 6ba7c40b0d2cc2ea6e59f8ca5e13ed136b3eb122 (patch) | |
| tree | d3fb3a76e90373cbe69a5c97fa25482ecde6279c /Chalice | |
| parent | fef4a9da7b5ec7b0e76f8d900331497c29d1ba72 (diff) | |
Chalice: Added /boogieOpt:noinfer to chalice.bat in order to run Boogie without the specification inference component, because the latter is currently causing trouble with one of the AVL-tree examples.
Diffstat (limited to 'Chalice')
| -rw-r--r-- | Chalice/chalice.bat | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/Chalice/chalice.bat b/Chalice/chalice.bat index d5991326..6400ca7b 100644 --- a/Chalice/chalice.bat +++ b/Chalice/chalice.bat @@ -36,6 +36,7 @@ set CHALICE_MAIN=chalice.Chalice REM Chalice command line options
set CHALICE_OPTS=
set CHALICE_OPTS=%CHALICE_OPTS% /boogieOpt:nologo
+set CHALICE_OPTS=%CHALICE_OPTS% /boogieOpt:noinfer
set CHALICE_OPTS=%CHALICE_OPTS% %*
REM Assemble main command
|