cStr : from_bytes_until_nul - Githubissues

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 #20

Closed rajathkotyal closed 1 week ago

rajathkotyal commented 1 week ago

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

Yenyun035 commented 1 week ago

PR#180 merged