Update library/kani/src/internal.rs

Co-authored-by: Celina G. Val <celinval@amazon.com>
model-checking · Jul 12, 2024 · 310c6b4 · 310c6b4
1 parent 55ca498
commit 310c6b4
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/library/kani/src/internal.rs b/library/kani/src/internal.rs
@@ -133,5 +133,5 @@ pub unsafe fn write_any_str(_s: *mut str) {
     //TODO: strings introduce new UB
     //(*s).as_bytes_mut().fill_with(u8::any)
     //TODO: String validation
-    unreachable!("strings are not yet implemented")
+    unimplemented!("Kani does not support creating arbitrary `str`")
 }