goto-symex: support struct-keyed arrays (maps) in value materialisation#9065
Open
tautschnig wants to merge 1 commit into
Open
goto-symex: support struct-keyed arrays (maps) in value materialisation#9065tautschnig wants to merge 1 commit into
tautschnig wants to merge 1 commit into
Codecov / codecov/project
succeeded
Jun 24, 2026 in 1s
80.68% (+0.00%) compared to 7483d0d
View this Pull Request on Codecov
80.68% (+0.00%) compared to 7483d0d
Details
Codecov Report
❌ Patch coverage is 85.71429% with 1 line in your changes missing coverage. Please review.
✅ Project coverage is 80.68%. Comparing base (7483d0d) to head (c996a37).
| Files with missing lines | Patch % | Lines |
|---|---|---|
| src/goto-symex/field_sensitivity.cpp | 85.71% | 1 Missing |
Additional details and impacted files
@@ Coverage Diff @@
## develop #9065 +/- ##
========================================
Coverage 80.68% 80.68%
========================================
Files 1714 1714
Lines 189593 189600 +7
Branches 73 73
========================================
+ Hits 152979 152988 +9
+ Misses 36614 36612 -2 ☔ 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.
Loading