fixes Location#compareTo(Location) #3519
Merged
Codecov / codecov/project
succeeded
Nov 12, 2024 in 1s
38.15% (-0.03%) compared to 4121ecc
View this Pull Request on Codecov
38.15% (-0.03%) compared to 4121ecc
Details
Codecov Report
Attention: Patch coverage is 0% with 2 lines in your changes missing coverage. Please review.
Project coverage is 38.15%. Comparing base (
4121ecc) to head (1862241).
Report is 27 commits behind head on main.
| Files with missing lines | Patch % | Lines |
|---|---|---|
| ...src/main/java/de/uka/ilkd/key/parser/Location.java | 0.00% | 2 Missing |
Additional details and impacted files
@@ Coverage Diff @@
## main #3519 +/- ##
============================================
- Coverage 38.17% 38.15% -0.03%
+ Complexity 17227 17220 -7
============================================
Files 2109 2109
Lines 127624 127625 +1
Branches 21461 21461
============================================
- Hits 48724 48698 -26
- Misses 72909 72935 +26
- Partials 5991 5992 +1 ☔ View full report in Codecov by Sentry.
📢 Have feedback on the report? Share it here.
Loading