Skip to content

Commit 61ac061

Browse files
committed
chore: update test pass status
1 parent 2030999 commit 61ac061

File tree

1 file changed

+3
-3
lines changed

1 file changed

+3
-3
lines changed

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

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -3,10 +3,10 @@
33
│ #execTerminator ( terminator ( ... kind: terminatorKindCall ( ... func: operandC
44
│ span: 0
55
6-
│ (198 steps)
6+
│ (866 steps)
77
└─ 3 (stuck, leaf)
8-
#traverseProjection ( toLocal ( 11 ) , thunk ( #cast ( PtrLocal ( 3 , place ( ..
9-
span: 91
8+
#setUpCalleeData ( monoItemFn ( ... name: symbol ( "** UNKNOWN FUNCTION **" ) ,
9+
span: 32
1010

1111

1212
┌─ 2 (root, leaf, target, terminal)

0 commit comments

Comments
 (0)