diff options
Diffstat (limited to 'Chalice/examples/Answer')
| -rw-r--r-- | Chalice/examples/Answer | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/Chalice/examples/Answer b/Chalice/examples/Answer index ab085a36..087415ba 100644 --- a/Chalice/examples/Answer +++ b/Chalice/examples/Answer @@ -243,6 +243,10 @@ Boogie program verifier finished with 14 verified, 3 errors ------ Running regression test PetersonsAlgorithm.chalice
Boogie program verifier finished with 7 verified, 0 errors
+------ Running regression test quantifiers.chalice
+ 57.29: The heap of the callee might not be strictly smaller than the heap of the caller.
+
+Boogie program verifier finished with 11 verified, 1 error
------ Running regression test cell-defaults.chalice
96.5: The heap of the callee might not be strictly smaller than the heap of the caller.
102.5: The heap of the callee might not be strictly smaller than the heap of the caller.
|