blob: d2418bd458070d9231b60f445c65b74a0d88af7d (
plain)
1
2
3
4
5
6
7
8
9
10
11
|
-------------------- f1.bpl --------------------
Summary of foo:
g == old(g) + 1
Summary of main:
(old(g) == 0 ==> g == old(g) + 1)
Prover time = 0.0260026
Number of prover queries = 6
Witness written to absHoudiniWitness.bpl
Boogie program verifier finished with 0 verified, 0 errors
|
