Enable implicit non-top-level conditions (#1160)#2250
Open
Vampire wants to merge 1 commit into
Open
Codecov / codecov/project
succeeded
Jul 10, 2026 in 1s
82.29% (+0.00%) compared to f1d7703
View this Pull Request on Codecov
82.29% (+0.00%) compared to f1d7703
Details
Codecov Report
✅ All modified and coverable lines are covered by tests.
✅ Project coverage is 82.29%. Comparing base (f1d7703) to head (3332e50).
Additional details and impacted files
@@ Coverage Diff @@
## master #2250 +/- ##
=========================================
Coverage 82.28% 82.29%
Complexity 4877 4877
=========================================
Files 474 474
Lines 15251 15252 +1
Branches 1959 1959
=========================================
+ Hits 12550 12551 +1
Misses 2002 2002
Partials 699 699 | 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