fix typo

thanhnguyen-aws · thanhnguyen-aws · commit 0730d3c09370 · 2025-08-08T13:47:16.000-07:00
diff --git a/library/core/src/slice/ascii.rs b/library/core/src/slice/ascii.rs
@@ -572,7 +572,7 @@ pub mod verify {
     #[kani::proof]
     fn check_is_ascii_simple() {
         let mut bytes: [u8; 100] = kani::any();
-        let _ret = bytes.is_ascii_simple();
+        let _ret = is_ascii_simple(bytes.as_slice());
     }
 
     #[kani::proof]

Original file line number	Diff line number	Diff line change
`@@ -572,7 +572,7 @@ pub mod verify {`
`572`	`572`	`#[kani::proof]`
`573`	`573`	`fn check_is_ascii_simple() {`
`574`	`574`	`let mut bytes: [u8; 100] = kani::any();`
`575`		`- let _ret = bytes.is_ascii_simple();`
	`575`	`+ let _ret = is_ascii_simple(bytes.as_slice());`
`576`	`576`	`}`
`577`	`577`
`578`	`578`	`#[kani::proof]`