Add tests for multiline preconditions and invariants #408
Codecov / codecov/project
succeeded
Oct 24, 2025 in 1s
89.88% (target 80.00%)
View this Pull Request on Codecov
89.88% (target 80.00%)
Details
Codecov Report
✅ All modified and coverable lines are covered by tests.
✅ Project coverage is 89.88%. Comparing base (40d8d1d) to head (c48eb3d).
Additional details and impacted files
@@ Coverage Diff @@
## main #408 +/- ##
==========================================
+ Coverage 89.85% 89.88% +0.03%
==========================================
Files 54 54
Lines 13549 13556 +7
==========================================
+ Hits 12174 12185 +11
+ Misses 1375 1371 -4 🚀 New features to boost your workflow:
- ❄️ Test Analytics: Detect flaky tests, report on failures, and find test suite problems.
Loading