Release CBMC 6.5.0 #8607
Merged
Release CBMC 6.5.0 #8607
Codecov / codecov/project
succeeded
Mar 13, 2025 in 1s
79.17% (+0.00%) compared to e033ba1
View this Pull Request on Codecov
79.17% (+0.00%) compared to e033ba1
Details
Codecov Report
All modified and coverable lines are covered by tests ✅
Project coverage is 79.17%. Comparing base (
e033ba1) to head (d52b560).
Additional details and impacted files
@@ Coverage Diff @@
## develop #8607 +/- ##
========================================
Coverage 79.17% 79.17%
========================================
Files 1733 1733
Lines 198963 198963
Branches 17967 17967
========================================
Hits 157536 157536
Misses 41427 41427 ☔ 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.
- 📦 JS Bundle Analysis: Save yourself from yourself by tracking and limiting bundle sizes in JS merges.
Loading