Move test from kani to expected

model-checking · Aug 1, 2023 · 86d508e · 86d508e
1 parent 5bb4828
commit 86d508e
Show file tree

Hide file tree

Showing 2 changed files with 5 additions and 2 deletions.
diff --git a/tests/expected/intrinsics/simd-div-rem-overflow/expected 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
diff --git a/...nsics/SIMD/Operators/div_overflow_fail.rs → .../intrinsics/simd-div-rem-overflow/main.rs b/...nsics/SIMD/Operators/div_overflow_fail.rs → .../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)]