Add div_overflow_exprt for bit-vector division overflow#9087
Open
kroening wants to merge 2 commits into
Open
Codecov / codecov/project
succeeded
Jun 28, 2026 in 0s
80.69% (-0.01%) compared to 02c2769, passed because coverage increased by 0% when compared to adjusted base (80.69%)
View this Pull Request on Codecov
80.69% (-0.01%) compared to 02c2769, passed because coverage increased by 0% when compared to adjusted base (80.69%)
Details
Codecov Report
❌ Patch coverage is 77.61194% with 15 lines in your changes missing coverage. Please review.
✅ Project coverage is 80.69%. Comparing base (02c2769) to head (107fc11).
Additional details and impacted files
@@ Coverage Diff @@
## develop #9087 +/- ##
===========================================
- Coverage 80.69% 80.69% -0.01%
===========================================
Files 1714 1714
Lines 189597 189659 +62
Branches 73 73
===========================================
+ Hits 152987 153036 +49
- Misses 36610 36623 +13 ☔ View full report in Codecov by Harness.
📢 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