runtimeverification
diff --git a/‎kmir/src/tests/integration/data/prove-rs/interior-mut-refcell-fail.rs‎ renamed to ‎kmir/src/tests/integration/data/prove-rs/interior-mut-refcell.rs‎ b/‎kmir/src/tests/integration/data/prove-rs/interior-mut-refcell-fail.rs‎ renamed to ‎kmir/src/tests/integration/data/prove-rs/interior-mut-refcell.rs‎
diff --git a/‎kmir/src/tests/integration/data/prove-rs/interior-mut-fail.rs‎ renamed to ‎kmir/src/tests/integration/data/prove-rs/interior-mut.rs‎ b/‎kmir/src/tests/integration/data/prove-rs/interior-mut-fail.rs‎ renamed to ‎kmir/src/tests/integration/data/prove-rs/interior-mut.rs‎
diff --git a/‎kmir/src/tests/integration/data/prove-rs/show/interior-mut-fail.main.expected‎
Lines changed: 0 additions & 15 deletions b/‎kmir/src/tests/integration/data/prove-rs/show/interior-mut-fail.main.expected‎
Lines changed: 0 additions & 15 deletions
diff --git a/‎kmir/src/tests/integration/data/prove-rs/show/interior-mut-refcell-fail.main.expected‎
Lines changed: 0 additions & 15 deletions b/‎kmir/src/tests/integration/data/prove-rs/show/interior-mut-refcell-fail.main.expected‎
Lines changed: 0 additions & 15 deletions
diff --git a/‎kmir/src/tests/integration/test_integration.py‎
Lines changed: 0 additions & 2 deletions b/‎kmir/src/tests/integration/test_integration.py‎
Lines changed: 0 additions & 2 deletions
@@ -38,8 +38,6 @@
     'assume-cheatcode-conflict-fail': ['check_assume_conflict'],
 }
 PROVE_RS_SHOW_SPECS = [
-    'interior-mut-fail',
-    'interior-mut-refcell-fail',
     'assert_eq_exp',
     'bitwise-not-shift',
     'symbolic-args-fail',
Original file line number	Diff line number	Diff line change
`@@ -38,8 +38,6 @@`
`38`	`38`	`'assume-cheatcode-conflict-fail': ['check_assume_conflict'],`
`39`	`39`	`}`
`40`	`40`	`PROVE_RS_SHOW_SPECS = [`
`41`		`- 'interior-mut-fail',`
`42`		`- 'interior-mut-refcell-fail',`
`43`	`41`	`'assert_eq_exp',`
`44`	`42`	`'bitwise-not-shift',`
`45`	`43`	`'symbolic-args-fail',`