diff --git a/tests/expected/issue-2732/issue_2732.expected b/tests/expected/issue-2732/issue_2732.expected
deleted file mode 100644
index ad4c07cd69ff..000000000000
--- a/tests/expected/issue-2732/issue_2732.expected
+++ /dev/null
@@ -1,5 +0,0 @@
-test.assertion\
-- Status: FAILURE\
-- Description: "index out of bounds: the length is less than or equal to the given index"
-
-VERIFICATION:- FAILED
\ No newline at end of file
diff --git a/tests/expected/issue-2732/issue_2732.rs b/tests/expected/issue-2732/issue_2732.rs
deleted file mode 100644
index 711380855900..000000000000
--- a/tests/expected/issue-2732/issue_2732.rs
+++ /dev/null
@@ -1,14 +0,0 @@
-// Copyright Kani Contributors
-// SPDX-License-Identifier: Apache-2.0 OR MIT
-
-const C: [u32; 5] = [0; 5];
-
-#[allow(unconditional_panic)]
-fn test() -> u32 {
-    C[10]
-}
-
-#[kani::proof]
-fn main() {
-    test();
-}