model-checking / verify-rust-std

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

Add a challenge for `linked_list` #30

Closed qinheping closed 2 weeks ago

qinheping commented 3 weeks ago

Please add a description of your PR. If this is a solution to an open challenge, please explain your solution.

Don't forget to check our book to ensure your solution satisfy the overall requirements as well as the challenge success criteria.

By submitting this pull request, I confirm that my contribution is made under the terms of the Apache 2.0 and MIT licenses.