diff options
| author |  allydonaldson <unknown> | 2013-05-27 10:31:42 +0100 |
|---|---|---|
| committer | allydonaldson <unknown> | 2013-05-27 10:31:42 +0100 |
| commit | df16e47b755f4d756d234f99bb3e30fcc311812d (patch) | |
| tree | da4d078089a94abc52a679b2cae89d84807bad35 /Test/prover/Answer | |
| parent | 5a28ddc1e58e8dccc38bf9d63eef61e0cda98e6a (diff) | |
| parent | 2dd2705130709f633325fef6a8813df24817da1b (diff) | |
Merge
Diffstat (limited to 'Test/prover/Answer')
| -rw-r--r-- | Test/prover/Answer | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/Test/prover/Answer b/Test/prover/Answer index 1ca6407c..13621984 100644 --- a/Test/prover/Answer +++ b/Test/prover/Answer @@ -4,7 +4,7 @@ z3mutl.bpl(20,5): Error BP5001: This assertion might not hold.
Execution trace:
z3mutl.bpl(5,1): start
- z3mutl.bpl(14,1): L3
+ z3mutl.bpl(8,1): L1
z3mutl.bpl(20,1): L5
z3mutl.bpl(20,5): Error BP5001: This assertion might not hold.
Execution trace:
@@ -14,7 +14,7 @@ Execution trace: z3mutl.bpl(20,5): Error BP5001: This assertion might not hold.
Execution trace:
z3mutl.bpl(5,1): start
- z3mutl.bpl(8,1): L1
+ z3mutl.bpl(14,1): L3
z3mutl.bpl(20,1): L5
Boogie program verifier finished with 0 verified, 3 errors
|