Introducing some structure for model method bodies #3571
Codecov / codecov/project
succeeded
Feb 23, 2025 in 0s
38.39% (-0.01%) compared to 284bb1e, passed because coverage increased by 0% when compared to adjusted base (38.39%)
View this Pull Request on Codecov
38.39% (-0.01%) compared to 284bb1e, passed because coverage increased by 0% when compared to adjusted base (38.39%)
Details
Codecov Report
Attention: Patch coverage is 34.61538% with 17 lines in your changes missing coverage. Please review.
Project coverage is 38.39%. Comparing base (
284bb1e) to head (d616f00).
Report is 6 commits behind head on main.
| Files with missing lines | Patch % | Lines |
|---|---|---|
| ...java/de/uka/ilkd/key/speclang/njml/Translator.java | 32.00% | 14 Missing and 3 partials |
Additional details and impacted files
@@ Coverage Diff @@
## main #3571 +/- ##
============================================
- Coverage 38.39% 38.39% -0.01%
- Complexity 17238 17239 +1
============================================
Files 2098 2098
Lines 127324 127346 +22
Branches 21442 21444 +2
============================================
+ Hits 48886 48891 +5
- Misses 72427 72441 +14
- Partials 6011 6014 +3 ☔ View full report in Codecov by Sentry.
📢 Have feedback on the report? Share it here.
Loading