Adjust proof tooling to support CBMC v6 #200
Draft
Codecov / codecov/project
succeeded
Apr 5, 2026 in 0s
96.66% (+2.64%) compared to e0cd4db
View this Pull Request on Codecov
96.66% (+2.64%) compared to e0cd4db
Details
Codecov Report
✅ All modified and coverable lines are covered by tests.
✅ Project coverage is 96.66%. Comparing base (e0cd4db) to head (41cbc24).
Additional details and impacted files
@@ Coverage Diff @@
## main #200 +/- ##
==========================================
+ Coverage 94.02% 96.66% +2.64%
==========================================
Files 3 3
Lines 1690 1680 -10
Branches 442 443 +1
==========================================
+ Hits 1589 1624 +35
+ Misses 17 0 -17
+ Partials 84 56 -28 ☔ View full report in Codecov by Sentry.
📢 Have feedback on the report? Share it here.
🚀 New features to boost your workflow:
- ❄️ Test Analytics: Detect flaky tests, report on failures, and find test suite problems.
Loading