improve performance for align offset harness

carolynzech · Sep 18, 2024 · 7707ea5 · 7707ea5
1 parent 351e958
commit 7707ea5
Showing 1 changed file with 3 additions and 2 deletions.
diff --git a/library/core/src/ptr/mod.rs b/library/core/src/ptr/mod.rs
@@ -2552,8 +2552,9 @@ mod verify {
     }
 
     #[kani::proof_for_contract(align_offset)]
-    fn check_align_offset_17() {
-        let p = kani::any::<usize>() as *const [char; 17];
+    #[kani::solver(kissat)]
+    fn check_align_offset_5() {
+        let p = kani::any::<usize>() as *const [char; 5];
         check_align_offset(p);
     }