Update expect files

boogie-org · Oct 21, 2024 · 0c99e9a · 0c99e9a
1 parent 06cc138
commit 0c99e9a
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 3 deletions.
diff --git a/Test/inline/Elevator.bpl.expect b/Test/inline/Elevator.bpl.expect
@@ -17,8 +17,8 @@ Execution trace:
     Elevator.bpl(18,3): anon0$1
     Elevator.bpl(19,3): anon10_LoopHead
     Elevator.bpl(22,5): anon10_LoopBody
-    Elevator.bpl(22,5): anon11_Else
-    Elevator.bpl(22,5): anon12_Else
+    Elevator.bpl(24,12): anon11_Else
+    Elevator.bpl(26,12): anon12_Else
     Elevator.bpl(27,7): anon13_Then
     Elevator.bpl(97,23): inline$MoveDown_Error$0$Entry
     Elevator.bpl(102,3): inline$MoveDown_Error$0$anon0

diff --git a/Test/prover/z3mutl.bpl.expect b/Test/prover/z3mutl.bpl.expect
@@ -1,7 +1,7 @@
 z3mutl.bpl(22,5): Error: this assertion could not be proved
 Execution trace:
     z3mutl.bpl(7,1): start
-    z3mutl.bpl(16,1): L3
+    z3mutl.bpl(13,1): L2
     z3mutl.bpl(22,1): L5
 
 Boogie program verifier finished with 0 verified, 1 error