blob: b2e963eed8a93185704616edb83afd0d15ab47ae (
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
|
