test: update expected outputs for interior mutation tests

Author: Stevengre

kmir/src/tests/integration/data/prove-rs/show/interior-mut-fail.main.expected

@@ -3,10 +3,10 @@
 │   #execTerminator ( terminator ( ... kind: terminatorKindCall ( ... func: operandC
 │   span: 0
 │
-│  (198 steps)
+│  (866 steps)
 └─ 3 (stuck, leaf)
-    #traverseProjection ( toLocal ( 11 ) , thunk ( #cast ( PtrLocal ( 3 , place ( ..
-    span: 91
+    #setUpCalleeData ( monoItemFn ( ... name: symbol ( "** UNKNOWN FUNCTION **" ) ,
+    span: 32
 
 
 ┌─ 2 (root, leaf, target, terminal)

kmir/src/tests/integration/data/prove-rs/show/interior-mut2-fail.main.expected

@@ -3,13 +3,15 @@
 │   #execTerminator ( terminator ( ... kind: terminatorKindCall ( ... func: operandC
 │   span: 0
 │
-│  (185 steps)
-└─ 3 (stuck, leaf)
-    #traverseProjection ( toLocal ( 2 ) , thunk ( #cast ( PtrLocal ( 3 , place ( ...
-    span: 53
-
-
-┌─ 2 (root, leaf, target, terminal)
+│  (725 steps)
+├─ 3 (terminal)
 │   #EndProgram ~> .K
+│   function: main
+│
+┊  constraint: true
+┊  subst: ...
+└─ 2 (leaf, target, terminal)
+    #EndProgram ~> .K
+
 
 

kmir/src/tests/integration/data/prove-rs/show/interior-mut3-fail.main.expected

@@ -26,11 +26,34 @@
    │   #execBlockIdx ( basicBlockIdx ( 8 ) ) ~> .K
    │   function: main
    │
-   │  (8 steps)
-   └─ 7 (stuck, leaf)
-       #traverseProjection ( toLocal ( 2 ) , thunk ( #cast ( PtrLocal ( 1 , place ( ...
-       function: main
-       span: 80
+   │  (111 steps)
+   ├─ 7
+   │   #expect ( thunk ( #applyBinOp ( binOpEq , thunk ( #applyBinOp ( binOpBitAnd , th
+   │   function: main
+   ┃
+   ┃ (1 step)
+   ┣━━┓
+   ┃  │
+   ┃  ├─ 8
+   ┃  │   AssertError ( assertMessageMisalignedPointerDereference ( ... required: operandC
+   ┃  │   function: main
+   ┃  │
+   ┃  │  (1 step)
+   ┃  └─ 10 (stuck, leaf)
+   ┃      #ProgramError ( AssertError ( assertMessageMisalignedPointerDereference ( ... re
+   ┃      function: main
+   ┃
+   ┗━━┓
+      │
+      ├─ 9
+      │   #execBlockIdx ( basicBlockIdx ( 7 ) ) ~> .K
+      │   function: main
+      │
+      │  (17 steps)
+      └─ 11 (stuck, leaf)
+          #setLocalValue ( place ( ... local: local ( 1 ) , projection: .ProjectionElems )
+          function: main
+          span: 79
 
 
 ┌─ 2 (root, leaf, target, terminal)