rajathkotyal / verify-rust-std

Verifying the Rust standard library
https://model-checking.github.io/verify-rust-std/
Other
0 stars 0 forks source link

CStr: `to_bytes` and `to_bytes_with_nul` #21

Closed Yenyun035 closed 1 day ago

Yenyun035 commented 6 days ago

PR#189