runtimeverification
diff --git a/‎kmir/src/tests/integration/data/prove-rs/show/write_volatile_pubkey_array.repro.expected‎
Lines changed: 0 additions & 13 deletions b/‎kmir/src/tests/integration/data/prove-rs/show/write_volatile_pubkey_array.repro.expected‎
Lines changed: 0 additions & 13 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
@@ -44,7 +44,6 @@
     'write_volatile_pubkey_array': ['repro'],
 }
 PROVE_RS_SHOW_SPECS = [
-    'write_volatile_pubkey_array',
     'local-raw-fail',
     'interior-mut-fail',
     'interior-mut3-fail',
Original file line number	Diff line number	Diff line change
`@@ -44,7 +44,6 @@`
`44`	`44`	`'write_volatile_pubkey_array': ['repro'],`
`45`	`45`	`}`
`46`	`46`	`PROVE_RS_SHOW_SPECS = [`
`47`		`- 'write_volatile_pubkey_array',`
`48`	`47`	`'local-raw-fail',`
`49`	`48`	`'interior-mut-fail',`
`50`	`49`	`'interior-mut3-fail',`