fix expected value for pref_align_of under aarch64/macos (#2782)

Co-authored-by: Remi Delmas <delmasrd@amazon.com>
model-checking · Sep 20, 2023 · a3067ad · a3067ad
1 parent 88e3bbe
commit a3067ad
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/tests/kani/Intrinsics/ConstEval/pref_align_of.rs b/tests/kani/Intrinsics/ConstEval/pref_align_of.rs
@@ -48,7 +48,7 @@ fn main() {
         #[cfg(target_os = "linux")]
         assert!(unsafe { pref_align_of::<i16>() } == 4);
         #[cfg(target_os = "macos")]
-        assert!(unsafe { pref_align_of::<i16>() } == 1);
+        assert!(unsafe { pref_align_of::<i16>() } == 2);
         assert!(unsafe { pref_align_of::<i32>() } == 4);
         assert!(unsafe { pref_align_of::<i64>() } == 8);
         assert!(unsafe { pref_align_of::<i128>() } == 16);