Skip to content

introduce reduction_*_exprt classes

797ad73
Select commit
Loading
Failed to load commit list.
Open

introduce reduction_*_exprt classes #9010

introduce reduction_*_exprt classes
797ad73
Select commit
Loading
Failed to load commit list.
Codecov / codecov/project succeeded May 12, 2026 in 1s

80.56% (+0.00%) compared to 82ba0cc

View this Pull Request on Codecov

80.56% (+0.00%) compared to 82ba0cc

Details

Codecov Report

✅ All modified and coverable lines are covered by tests.
✅ Project coverage is 80.56%. Comparing base (82ba0cc) to head (797ad73).

Additional details and impacted files
@@           Coverage Diff            @@
##           develop    #9010   +/-   ##
========================================
  Coverage    80.55%   80.56%           
========================================
  Files         1707     1707           
  Lines       189047   189089   +42     
  Branches        73       73           
========================================
+ Hits        152292   152331   +39     
- Misses       36755    36758    +3     

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