strings todo

model-checking · Jul 11, 2024 · 9c2b7e8 · 9c2b7e8
1 parent e038b0f
commit 9c2b7e8
Showing 1 changed file with 3 additions and 1 deletion.
diff --git a/library/kani/src/internal.rs b/library/kani/src/internal.rs
@@ -130,6 +130,8 @@ pub unsafe fn write_any_slim<T: Arbitrary>(pointer: *mut T) {
 #[rustc_diagnostic_item = "KaniWriteAnyStr"]
 #[inline(always)]
 pub unsafe fn write_any_str(s: *mut str) {
- (*s).as_bytes_mut().fill_with(u8::any)
+ //TODO: strings introduce new UB
+ //(*s).as_bytes_mut().fill_with(u8::any)
  //TODO: String validation
+ unreachable!("strings are not yet implemented")
 }