diff --git a/tests/expected/intrinsics/simd-div-rem-overflow/expected b/tests/expected/intrinsics/simd-div-rem-overflow/expected
new file mode 100644
index 000000000000..b98e30ac6df3
--- /dev/null
+++ b/tests/expected/intrinsics/simd-div-rem-overflow/expected
@@ -0,0 +1,4 @@
+FAILURE\
+attempt to compute simd_div which would overflow
+FAILURE\
+attempt to compute simd_rem which would overflow
\ No newline at end of file
diff --git a/tests/kani/Intrinsics/SIMD/Operators/div_overflow_fail.rs b/tests/expected/intrinsics/simd-div-rem-overflow/main.rs
similarity index 97%
rename from tests/kani/Intrinsics/SIMD/Operators/div_overflow_fail.rs
rename to tests/expected/intrinsics/simd-div-rem-overflow/main.rs
index f656fd86b1cd..a7077ce8db84 100644
--- a/tests/kani/Intrinsics/SIMD/Operators/div_overflow_fail.rs
+++ b/tests/expected/intrinsics/simd-div-rem-overflow/main.rs
@@ -1,8 +1,7 @@
 // Copyright Kani Contributors
 // SPDX-License-Identifier: Apache-2.0 OR MIT
 
-// Checks that the `simd_div` and `simd_rem` intrinsics check for overflows.
-// kani-verify-fail
+// Checks that the `simd_div` and `simd_rem` intrinsics check for integer overflows.
 
 #![feature(repr_simd, platform_intrinsics)]