Update pointer_inbounds.rs

model-checking · Jan 4, 2025 · 67ebc69 · 67ebc69
1 parent d1940aa
commit 67ebc69
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/tests/expected/arbitrary/ptrs/pointer_inbounds.rs b/tests/expected/arbitrary/ptrs/pointer_inbounds.rs
@@ -50,5 +50,5 @@ fn check_overlap() {
     kani::cover!(distance > 0, "Greater");
     kani::cover!(distance < 0, "Smaller");
 
-    assert!(distance >= -4 && distance <= 4, "Expected a maximum distance of 4 elements");
+    assert!(distance >= -8 && distance <= 8, "Expected a maximum distance of 8 bytes");
 }