push up all_zeros_expr and all_ones_expr helpers to bitvector_typet
#8963
Codecov / codecov/project
succeeded
Apr 20, 2026 in 0s
80.50% (+0.01%) compared to 0656298
View this Pull Request on Codecov
80.50% (+0.01%) compared to 0656298
Details
Codecov Report
✅ All modified and coverable lines are covered by tests.
✅ Project coverage is 80.50%. Comparing base (0656298) to head (1166ac0).
Additional details and impacted files
@@ Coverage Diff @@
## develop #8963 +/- ##
===========================================
+ Coverage 80.49% 80.50% +0.01%
===========================================
Files 1704 1704
Lines 188805 188804 -1
Branches 73 73
===========================================
+ Hits 151983 152004 +21
+ Misses 36822 36800 -22 ☔ 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