Update tests/kani/Projection/slice_slice_projection.rs

Remove fail flag
model-checking · Sep 17, 2024 · 3ddffa5 · 3ddffa5
1 parent b247369
commit 3ddffa5
Showing 1 changed file with 0 additions and 1 deletion.
diff --git a/tests/kani/Projection/slice_slice_projection.rs b/tests/kani/Projection/slice_slice_projection.rs
@@ -1,6 +1,5 @@
 // Copyright Kani Contributors
 // SPDX-License-Identifier: Apache-2.0 OR MIT
-// kani-verify-fail
 // kani-flags: --default-unwind 5
 
 //! This test case checks the usage of slices of slices (&[&[T]]).