Compiles, test still fails

model-checking · Dec 4, 2023 · fcae824 · fcae824
1 parent 6207f88
commit fcae824
Showing 1 changed file with 3 additions and 1 deletion.
diff --git a/library/kani/src/models/mod.rs b/library/kani/src/models/mod.rs
@@ -185,8 +185,10 @@ mod test {
  }
 
  /// Compare the value returned by our model and the portable simd representation.
- fn check_portable_bitmask<T, E, const LANES: usize>(mask: T)
+ fn check_portable_bitmask<T, E, const LANES: usize>(mask: Mask<T, LANES>)
  where
+ T: std::simd::MaskElement,
+ LaneCount<LANES>: SupportedLaneCount,
  E: kani_intrinsic::MaskElement,
  [u8; kani_intrinsic::mask_len(LANES)]: Sized,
  {