Skip to content

Re-enable array theory as default for array size above threshold

dc4157e
Select commit
Loading
Failed to load commit list.
Open

Re-enable array theory as default for array size above threshold #8468

Re-enable array theory as default for array size above threshold
dc4157e
Select commit
Loading
Failed to load commit list.
Codecov / codecov/project failed May 6, 2025 in 1s

78.19% (-0.12%) compared to d2b4455

View this Pull Request on Codecov

78.19% (-0.12%) compared to d2b4455

Details

Codecov Report

Attention: Patch coverage is 46.15385% with 7 lines in your changes missing coverage. Please review.

Project coverage is 78.19%. Comparing base (d2b4455) to head (dc4157e).
Report is 274 commits behind head on develop.

Files with missing lines Patch % Lines
src/solvers/flattening/arrays.cpp 46.15% 7 Missing ⚠️
Additional details and impacted files
@@             Coverage Diff             @@
##           develop    #8468      +/-   ##
===========================================
- Coverage    78.31%   78.19%   -0.12%     
===========================================
  Files         1726     1726              
  Lines       188817   189119     +302     
  Branches     18270    18273       +3     
===========================================
+ Hits        147874   147888      +14     
- Misses       40943    41231     +288     

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