update expected output

Author: Stevengre

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

@@ -3,34 +3,11 @@
 │   #execTerminator ( terminator ( ... kind: terminatorKindCall ( ... func: operandC
 │   span: 0
 │
-│  (151 steps)
-├─ 3
-│   #expect ( thunk ( #applyBinOp ( binOpEq , thunk ( #applyBinOp ( binOpBitAnd , th
-│   function: main
-┃
-┃ (1 step)
-┣━━┓
-┃  │
-┃  ├─ 4
-┃  │   AssertError ( assertMessageMisalignedPointerDereference ( ... required: operandC
-┃  │   function: main
-┃  │
-┃  │  (1 step)
-┃  └─ 6 (stuck, leaf)
-┃      #ProgramError ( AssertError ( assertMessageMisalignedPointerDereference ( ... re
-┃      function: main
-┃
-┗━━┓
-   │
-   ├─ 5
-   │   #execBlockIdx ( basicBlockIdx ( 8 ) ) ~> .K
-   │   function: main
-   │
-   │  (8 steps)
-   └─ 7 (stuck, leaf)
-       #traverseProjection ( toLocal ( 2 ) , thunk ( #cast ( PtrLocal ( 1 , place ( ...
-       function: main
-       span: 80
+│  (281 steps)
+└─ 3 (stuck, leaf)
+    #setLocalValue ( place ( ... local: local ( 1 ) , projection: .ProjectionElems )
+    function: main
+    span: 79
 
 
 ┌─ 2 (root, leaf, target, terminal)

kmir/src/tests/integration/data/prove-rs/show/pointer-cast-struct-field-fail.main.expected

@@ -1,40 +1,34 @@
 
 ┌─ 1 (root, init)
 │   #execTerminator ( terminator ( ... kind: terminatorKindCall ( ... func: operandC
-│   span: src/rust/library/std/src/rt.rs:194
+│   span: 0
 │
 │  (135 steps)
 ├─ 3
 │   #expect ( thunk ( #applyBinOp ( binOpEq , thunk ( #applyBinOp ( binOpBitAnd , th
-│   function: read_via_cast
 ┃
 ┃ (1 step)
 ┣━━┓
 ┃  │
 ┃  ├─ 4
 ┃  │   AssertError ( assertMessageMisalignedPointerDereference ( ... required: operandC
-┃  │   function: read_via_cast
 ┃  │
 ┃  │  (1 step)
 ┃  └─ 6 (stuck, leaf)
 ┃      #ProgramError ( AssertError ( assertMessageMisalignedPointerDereference ( ... re
-┃      function: read_via_cast
 ┃
 ┗━━┓
    │
    ├─ 5
    │   #execBlockIdx ( basicBlockIdx ( 1 ) ) ~> .K
-   │   function: read_via_cast
    │
    │  (7 steps)
    └─ 7 (stuck, leaf)
        #traverseProjection ( toLocal ( 2 ) , thunk ( #cast ( PtrLocal ( 1 , place ( ...
-       function: read_via_cast
-       span: r/prove-rs/pointer-cast-struct-field-fail.rs:8
+       span: 53
 
 
 ┌─ 2 (root, leaf, target, terminal)
 │   #EndProgram ~> .K
 
 
-