blob: c20911f0a74c24e4f2519e840c906694cb47f848 (
plain)
1
2
3
4
5
6
7
8
|
Verification of setset.chalice using parameters=""
55.5: Assertion might not hold. The expression at 55.12 might not evaluate to true.
The program did not fully verify; the smoke warnings might be misleading if contradictions are introduced by failing proof attempts of the verification.
27.3: The end of method main is unreachable.
Boogie program verifier finished with 1 errors and 1 smoke test warnings.
|