goto-symex: handle plain-symbol quantifier bound variables in rewrite_quantifiers - #9066
Open
tautschnig wants to merge 1 commit into
Open
goto-symex: handle plain-symbol quantifier bound variables in rewrite_quantifiers#9066tautschnig wants to merge 1 commit into
tautschnig wants to merge 1 commit into
Codecov / codecov/project
succeeded
Jul 28, 2026 in 1s
80.84% (+0.15%) compared to 7483d0d
View this Pull Request on Codecov
80.84% (+0.15%) compared to 7483d0d
Details
Codecov Report
✅ All modified and coverable lines are covered by tests.
✅ Project coverage is 80.84%. Comparing base (7483d0d) to head (13a93aa).
Additional details and impacted files
@@ Coverage Diff @@
## develop #9066 +/- ##
===========================================
+ Coverage 80.68% 80.84% +0.15%
===========================================
Files 1714 1716 +2
Lines 189593 190050 +457
Branches 73 73
===========================================
+ Hits 152979 153638 +659
+ Misses 36614 36412 -202 ☔ 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