Also drop unit test of our stub that uses ToBitMask

tautschnig · Dec 4, 2023 · ba6b95e · ba6b95e
1 parent 86c81b0
commit ba6b95e
Showing 1 changed file with 0 additions and 14 deletions.
diff --git a/library/kani/src/models/mod.rs b/library/kani/src/models/mod.rs
@@ -184,20 +184,6 @@ mod test {
         check_bitmask::<_, [u8; 9], i128, 70>(CustomMask([-1i128; 70]));
     }
 
-    /// Compare the value returned by our model and the portable simd representation.
-    fn check_portable_bitmask<T, E, const LANES: usize>(mask: T)
-    where
-        T: ToBitMask + Clone,
-        T::BitMask: Debug + PartialEq,
-        E: kani_intrinsic::MaskElement,
-        [u8; kani_intrinsic::mask_len(LANES)]: Sized,
-    {
-        assert_eq!(
-            unsafe { kani_intrinsic::simd_bitmask::<_, T::BitMask, E, LANES>(mask.clone()) },
-            mask.to_bitmask()
-        );
-    }
-
     /// Compare the value returned by our model and the simd_bitmask intrinsic.
     fn check_bitmask<T, U, E, const LANES: usize>(mask: T)
     where