search

model-checking / kani

Kani Rust Verifier
https://model-checking.github.io/kani
Apache License 2.0
2.03k stars 85 forks source link

Automatic cargo update to 2024-06-17 #3267

Closed github-actions[bot] closed 1 week ago

github-actions[bot] commented 2 weeks ago

Dependency upgrade resulting from cargo update.