Skip to content

Extract mapst base class from arrayst#8992

Open
tautschnig wants to merge 6 commits into
diffblue:developfrom
tautschnig:map_theoryt
Open

Extract mapst base class from arrayst#8992
tautschnig wants to merge 6 commits into
diffblue:developfrom
tautschnig:map_theoryt

Consolidate lazy_typet and constraint_typet into map_constraint_kindt

6291982
Select commit
Loading
Failed to load commit list.
Codecov / codecov/project succeeded Jun 13, 2026 in 0s

80.68% (-0.01%) compared to 7750282, passed because coverage increased by 0.01% when compared to adjusted base (80.66%)

View this Pull Request on Codecov

80.68% (-0.01%) compared to 7750282, passed because coverage increased by 0.01% when compared to adjusted base (80.66%)

Details

Codecov Report

❌ Patch coverage is 89.27445% with 34 lines in your changes missing coverage. Please review.
✅ Project coverage is 80.68%. Comparing base (7750282) to head (6291982).

Files with missing lines Patch % Lines
src/solvers/flattening/maps.cpp 81.75% 27 Missing ⚠️
src/solvers/flattening/arrays.cpp 93.85% 7 Missing ⚠️
Additional details and impacted files
@@             Coverage Diff             @@
##           develop    #8992      +/-   ##
===========================================
- Coverage    80.68%   80.68%   -0.01%     
===========================================
  Files         1713     1715       +2     
  Lines       189462   189431      -31     
  Branches        73       73              
===========================================
- Hits        152860   152833      -27     
+ Misses       36602    36598       -4     

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