runtimeverification
diff --git a/‎kmir/src/tests/integration/data/prove-rs/show/intrinsics.main.expected‎
Lines changed: 0 additions & 17 deletions b/‎kmir/src/tests/integration/data/prove-rs/show/intrinsics.main.expected‎
Lines changed: 0 additions & 17 deletions
diff --git a/‎kmir/src/tests/integration/data/prove-rs/show/intrinsics.test_bswap.expected‎
Lines changed: 0 additions & 16 deletions b/‎kmir/src/tests/integration/data/prove-rs/show/intrinsics.test_bswap.expected‎
Lines changed: 0 additions & 16 deletions
diff --git a/‎kmir/src/tests/integration/data/prove-rs/show/intrinsics.test_ctlz_nonzero.expected‎
Lines changed: 0 additions & 16 deletions b/‎kmir/src/tests/integration/data/prove-rs/show/intrinsics.test_ctlz_nonzero.expected‎
Lines changed: 0 additions & 16 deletions
diff --git a/‎kmir/src/tests/integration/data/prove-rs/show/intrinsics.test_ctpop.expected‎
Lines changed: 0 additions & 16 deletions b/‎kmir/src/tests/integration/data/prove-rs/show/intrinsics.test_ctpop.expected‎
Lines changed: 0 additions & 16 deletions
diff --git a/‎kmir/src/tests/integration/data/prove-rs/show/intrinsics.test_min_align_of_val.expected‎
Lines changed: 0 additions & 16 deletions b/‎kmir/src/tests/integration/data/prove-rs/show/intrinsics.test_min_align_of_val.expected‎
Lines changed: 0 additions & 16 deletions
diff --git a/‎kmir/src/tests/integration/data/prove-rs/show/intrinsics.test_rotate_left.expected‎
Lines changed: 0 additions & 16 deletions b/‎kmir/src/tests/integration/data/prove-rs/show/intrinsics.test_rotate_left.expected‎
Lines changed: 0 additions & 16 deletions
diff --git a/‎kmir/src/tests/integration/data/prove-rs/show/intrinsics.test_size_of_val.expected‎
Lines changed: 0 additions & 16 deletions b/‎kmir/src/tests/integration/data/prove-rs/show/intrinsics.test_size_of_val.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
@@ -43,7 +43,6 @@
     'spl-multisig-iter-eq-copied-next': ['repro'],
 }
 PROVE_SHOW_SPECS = [
-    'intrinsics',
     'local-raw-fail',
     'interior-mut-fail',
     'interior-mut3-fail',
Original file line number	Diff line number	Diff line change
`@@ -43,7 +43,6 @@`
`43`	`43`	`'spl-multisig-iter-eq-copied-next': ['repro'],`
`44`	`44`	`}`
`45`	`45`	`PROVE_SHOW_SPECS = [`
`46`		`- 'intrinsics',`
`47`	`46`	`'local-raw-fail',`
`48`	`47`	`'interior-mut-fail',`
`49`	`48`	`'interior-mut3-fail',`