diff options
Diffstat (limited to 'Chalice/refinements/Answer')
-rw-r--r-- | Chalice/refinements/Answer | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/Chalice/refinements/Answer b/Chalice/refinements/Answer index b513e041..6db2a988 100644 --- a/Chalice/refinements/Answer +++ b/Chalice/refinements/Answer @@ -29,3 +29,9 @@ Processing Pick.chalice 26.25: Sequence index might be larger than or equal to the length of the sequence.
Boogie program verifier finished with 11 verified, 1 error
+Processing TestCoupling.chalice + 35.13: The postcondition at 35.13 might not hold. Insufficient fraction at 35.13 for A1.y.
+ 62.38: Location might not be readable.
+ 66.5: Location might not be writable
+
+Boogie program verifier finished with 17 verified, 3 errors
|