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_until_nul #16

Closed rajathkotyal closed 1 week ago

rajathkotyal commented 1 week ago

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

rajathkotyal commented 1 week ago

duplicate