blob: 3d08e54c7e1b4fe1b28ef7d333b37c3bfd585ffb (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
|
Verification of prog2.chalice using parameters=""
24.5: Assertion might not hold. The expression at 24.12 might not evaluate to true.
31.13: Location might not be readable.
73.5: Const variable can be assigned to only once.
78.5: Assertion might not hold. The expression at 78.12 might not evaluate to true.
20.3: The end of method Caller1 is unreachable.
35.3: The end of method Caller2 is unreachable.
70.3: The end of method M2 is unreachable.
Boogie program verifier finished with 4 errors and 3 smoke test warnings.
|
