diff options
| author |  stefanheule <unknown> | 2011-07-19 11:10:46 +0200 |
|---|---|---|
| committer | stefanheule <unknown> | 2011-07-19 11:10:46 +0200 |
| commit | b444e136ac28d676d88b964ad69e901898ad53f7 (patch) | |
| tree | 61fd5c248b388581547191150fbfbaaa5bfcdd51 /Chalice/tests | |
| parent | e11198a63f88ea6901f12dd8b0bb9f77f26491a7 (diff) | |
Chalice: Fix batch file problem and update reference output.
Diffstat (limited to 'Chalice/tests')
| -rw-r--r-- | Chalice/tests/examples/RockBand-automagic.output.txt | 6 |
1 files changed, 1 insertions, 5 deletions
diff --git a/Chalice/tests/examples/RockBand-automagic.output.txt b/Chalice/tests/examples/RockBand-automagic.output.txt index 9ce4b436..efff95e2 100644 --- a/Chalice/tests/examples/RockBand-automagic.output.txt +++ b/Chalice/tests/examples/RockBand-automagic.output.txt @@ -1,8 +1,4 @@ Verification of RockBand-automagic.chalice using parameters="-checkLeaks -defaults -autoFold -autoMagic"
- 20.27: Location might not be readable.
- 28.3: Method RockBand.Init might leak references.
- 42.10: Location might not be readable.
- 51.5: Location might not be writable
-Boogie program verifier finished with 31 verified, 4 errors
+Boogie program verifier finished with 35 verified, 0 errors
|