search

model-checking / kani

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

CBMC upgrade to 6.0.1 failed #3287

Open github-actions[bot] opened 1 week ago

github-actions[bot] commented 1 week ago

Updating CBMC from 5.95.1 to 6.0.1 failed. The failed automated run can be found here.