From e6241dfdc9743cbbf3f1ae9fb61f3e3179a417f9 Mon Sep 17 00:00:00 2001
From: wuestholz <unknown>
Date: Sun, 26 May 2013 15:53:05 -0700
Subject: Changed the 'CounterexampleComparer' to take traces into account.

---
 Test/prover/Answer | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'Test/prover')

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
-- 
cgit v1.2.3