Skip to content

Commit 79f90e4

Browse files
committed
test(integration): refresh iter-eq frontier after dependency rebase
1 parent 567e76f commit 79f90e4

1 file changed

Lines changed: 3 additions & 3 deletions

File tree

kmir/src/tests/integration/data/prove-rs/show/iter-eq-copied-take-dereftruncate-fail.repro.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-
│ (1062 steps)
6+
│ (5553 steps)
77
└─ 3 (stuck, leaf)
8-
ListItem ( thunk ( #decodeConstant ( constantKindZeroSized , ty ( 88 ) , typeInf
9-
span: 273
8+
#traverseProjection ( toLocal ( 12 ) , thunk ( #decodeConstant ( constantKindAll
9+
span: 282
1010

1111

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

0 commit comments

Comments
 (0)