refactor(invariants): simplify finite proof wrappers #134
Codecov / codecov/project
succeeded
Jun 3, 2026 in 0s
99.29% (target 98.00%)
View this Pull Request on Codecov
99.29% (target 98.00%)
Details
Codecov Report
✅ All modified and coverable lines are covered by tests.
✅ Project coverage is 99.29%. Comparing base (ed7dc46) to head (54b603c).
Additional details and impacted files
@@ Coverage Diff @@
## main #134 +/- ##
==========================================
- Coverage 99.31% 99.29% -0.02%
==========================================
Files 5 5
Lines 2757 2707 -50
==========================================
- Hits 2738 2688 -50
Misses 19 19 ☔ 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