codecov[bot]
commented
10 months ago Codecov Report
Merging #3335 (6d635c8) into main (ae6efac) will increase coverage by
0.01%. The diff coverage is68.93%.
@@ Coverage Diff @@
## main #3335 +/- ##
============================================
+ Coverage 37.84% 37.86% +0.01%
- Complexity 16895 16904 +9
============================================
Files 2054 2055 +1
Lines 125490 125524 +34
Branches 21227 21225 -2
============================================
+ Hits 47495 47524 +29
- Misses 72142 72149 +7
+ Partials 5853 5851 -2 | Files | Coverage Δ | |
|---|---|---|
| ...main/java/de/uka/ilkd/key/macros/TestGenMacro.java | 50.00% <100.00%> (ø) |
|
| .../main/java/de/uka/ilkd/key/java/ServiceCaches.java | 91.89% <100.00%> (+0.46%) |
:arrow_up: |
| ...c/main/java/de/uka/ilkd/key/logic/TermFactory.java | 67.39% <100.00%> (-0.70%) |
:arrow_down: |
| .../de/uka/ilkd/key/macros/AbstractBlastingMacro.java | 0.00% <ø> (ø) |
|
| ...in/java/de/uka/ilkd/key/macros/FilterStrategy.java | 100.00% <100.00%> (ø) |
|
| ...java/de/uka/ilkd/key/macros/OneStepProofMacro.java | 75.00% <100.00%> (ø) |
|
| ...a/de/uka/ilkd/key/macros/WellDefinednessMacro.java | 3.12% <ø> (ø) |
|
| ...in/java/de/uka/ilkd/key/rule/IfFormulaInstSeq.java | 78.57% <100.00%> (+1.64%) |
:arrow_up: |
| ...uka/ilkd/key/rule/IfFormulaInstantiationCache.java | 92.85% <100.00%> (ø) |
|
| ...lkd/key/rule/match/legacy/LegacyTacletMatcher.java | 9.58% <ø> (ø) |
|
| ... and 145 more |
:mega: Codecov offers a browser extension for seamless coverage viewing on GitHub. Try it in Chrome or Firefox today!
Drodt
unp1
This PR prepares KeY for more parallelisation in an upcoming PR
The changes are relatively low risk and improve code quality in general
No introduction of synchronization primitives in this PR.