runtimeverification
diff --git a/‎kmir/src/tests/integration/data/prove-rs/show/iter-eq-copied-take-dereftruncate.repro.expected‎
Lines changed: 0 additions & 16 deletions b/‎kmir/src/tests/integration/data/prove-rs/show/iter-eq-copied-take-dereftruncate.repro.expected‎
Lines changed: 0 additions & 16 deletions
diff --git a/‎kmir/src/tests/integration/test_integration.py‎
Lines changed: 0 additions & 1 deletion b/‎kmir/src/tests/integration/test_integration.py‎
Lines changed: 0 additions & 1 deletion
@@ -64,7 +64,6 @@
     'test_offset_from-fail',
     'ref-ptr-cast-elem-fail',
     'ref-ptr-cast-elem-offset-fail',
-    'iter-eq-copied-take-dereftruncate',
 ]
Original file line number	Diff line number	Diff line change
`@@ -64,7 +64,6 @@`
`64`	`64`	`'test_offset_from-fail',`
`65`	`65`	`'ref-ptr-cast-elem-fail',`
`66`	`66`	`'ref-ptr-cast-elem-offset-fail',`
`67`		`- 'iter-eq-copied-take-dereftruncate',`
`68`	`67`	`]`
`69`	`68`
`70`	`69`