Fix mig_inv_propagation crash when PO is a complement of constant or PI#694
Merged
Codecov / codecov/project
succeeded
Jun 1, 2026 in 0s
84.22% (+0.39%) compared to fa8513a
View this Pull Request on Codecov
84.22% (+0.39%) compared to fa8513a
Details
Codecov Report
✅ All modified and coverable lines are covered by tests.
✅ Project coverage is 84.22%. Comparing base (fa8513a) to head (c74268e).
Additional details and impacted files
@@ Coverage Diff @@
## master #694 +/- ##
==========================================
+ Coverage 83.83% 84.22% +0.39%
==========================================
Files 189 189
Lines 29888 29074 -814
==========================================
- Hits 25056 24487 -569
+ Misses 4832 4587 -245 ☔ 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.
Loading