Skip to content

Add .lower() methods to reduction and replication expressions#9123

Open
kroening wants to merge 1 commit into
developfrom
kroening/bitvector-expr-lower-methods
Open

Add .lower() methods to reduction and replication expressions#9123
kroening wants to merge 1 commit into
developfrom
kroening/bitvector-expr-lower-methods

Add .lower() methods to reduction and replication expressions

67842c6
Select commit
Loading
Failed to load commit list.
Codecov / codecov/project failed Jul 21, 2026 in 1s

80.82% (-0.01%) compared to f71fdad

View this Pull Request on Codecov

80.82% (-0.01%) compared to f71fdad

Details

Codecov Report

❌ Patch coverage is 50.00000% with 21 lines in your changes missing coverage. Please review.
✅ Project coverage is 80.82%. Comparing base (f71fdad) to head (67842c6).

Files with missing lines Patch % Lines
src/util/bitvector_expr.cpp 43.24% 21 Missing ⚠️
Additional details and impacted files
@@             Coverage Diff             @@
##           develop    #9123      +/-   ##
===========================================
- Coverage    80.83%   80.82%   -0.01%     
===========================================
  Files         1715     1715              
  Lines       189948   189979      +31     
  Branches        73       73              
===========================================
+ Hits        153540   153547       +7     
- Misses       36408    36432      +24     

☔ 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.