Provide additional String formating utility method to reduce code duplication #3310
This check has been archived and is scheduled for deletion.
Learn more about checks retention
Codecov / codecov/project
failed
Oct 22, 2023 in 0s
37.81% (-0.01%) compared to 671da01
View this Pull Request on Codecov
37.81% (-0.01%) compared to 671da01
Details
Codecov Report
Merging #3310 (4b131f4) into main (671da01) will decrease coverage by
0.01%.
The diff coverage is77.77%.
@@ Coverage Diff @@
## main #3310 +/- ##
============================================
- Coverage 37.81% 37.81% -0.01%
Complexity 16856 16856
============================================
Files 2051 2051
Lines 125422 125351 -71
Branches 21226 21201 -25
============================================
- Hits 47433 47398 -35
+ Misses 72150 72114 -36
Partials 5839 5839 | Files | Coverage Δ | |
|---|---|---|
| .../src/main/java/de/uka/ilkd/key/logic/TermImpl.java | 84.04% <100.00%> (-0.60%) |
⬇️ |
| ...ore/src/main/java/de/uka/ilkd/key/rule/Taclet.java | 76.11% <100.00%> (-1.89%) |
⬇️ |
| ...il/src/main/java/org/key_project/util/Strings.java | 75.00% <100.00%> (+75.00%) |
⬆️ |
| ...y_project/util/collection/DefaultImmutableSet.java | 58.18% <100.00%> (-2.51%) |
⬇️ |
| ...g/key_project/util/collection/ImmutableSLList.java | 63.44% <100.00%> (-1.33%) |
⬇️ |
| ...c/main/java/de/uka/ilkd/key/logic/op/Function.java | 68.29% <0.00%> (+9.95%) |
⬆️ |
| ...y_project/util/collection/DefaultImmutableMap.java | 51.00% <0.00%> (+2.28%) |
⬆️ |
| ...rg/key_project/util/collection/ImmutableArray.java | 0.00% <0.00%> (ø) |
|
| ..._project/util/collection/ImmutableLeftistHeap.java | 81.90% <0.00%> (+5.11%) |
⬆️ |
📣 We’re building smart automated test selection to slash your CI/CD build times. Learn more
Loading