Enable implicit non-top-level conditions (#1160)#2250
Open
Vampire wants to merge 1 commit into
Open
Codecov / codecov/project
succeeded
Jun 2, 2026 in 0s
82.18% (+0.00%) compared to dd81cb1
View this Pull Request on Codecov
82.18% (+0.00%) compared to dd81cb1
Details
Codecov Report
✅ All modified and coverable lines are covered by tests.
✅ Project coverage is 82.18%. Comparing base (dd81cb1) to head (347c6de).
Additional details and impacted files
@@ Coverage Diff @@
## master #2250 +/- ##
=========================================
Coverage 82.17% 82.18%
Complexity 4831 4831
=========================================
Files 473 473
Lines 15051 15052 +1
Branches 1912 1912
=========================================
+ Hits 12368 12370 +2
Misses 1991 1991
+ Partials 692 691 -1 | Files with missing lines | Coverage Δ | |
|---|---|---|
| ...kframework/compiler/AbstractDeepBlockRewriter.java | 96.34% <100.00%> (ø) |
|
| ...org/spockframework/compiler/DeepBlockRewriter.java | 98.22% <100.00%> (ø) |
|
| ...g/spockframework/compiler/NoSpecialMethodCall.java | 54.16% <100.00%> (+1.99%) |
⬆️ |
🚀 New features to boost your workflow:
- ❄️ Test Analytics: Detect flaky tests, report on failures, and find test suite problems.
Loading