search

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 : from_bytes_with_nul #19

Open rajathkotyal opened 1 week ago

rajathkotyal commented 1 week ago

https://model-checking.github.io/verify-rust-std/challenges/0013-cstr.html