make harness function name unique

model-checking · Sep 13, 2024 · 9f96cf5 · 9f96cf5
1 parent ceb381d
commit 9f96cf5
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/library/core/src/ptr/non_null.rs b/library/core/src/ptr/non_null.rs
@@ -1783,7 +1783,7 @@ mod verify {
 
  // pub const unsafe fn new_unchecked(ptr: *mut T) -> Self
  #[kani::proof_for_contract(NonNull::new_unchecked)]
- pub fn check_new_unchecked() {
+ pub fn non_null_check_new_unchecked() {
  let mut x : i32 = kani::any();
  let xptr = &mut x;
  unsafe {