Isabelle Translation #3514
Draft
Isabelle Translation #3514
Codecov / codecov/project
succeeded
Oct 23, 2024 in 0s
38.17% (-0.01%) compared to 4121ecc
View this Pull Request on Codecov
38.17% (-0.01%) compared to 4121ecc
Details
Codecov Report
Attention: Patch coverage is 6.25000% with 30 lines in your changes missing coverage. Please review.
Project coverage is 38.17%. Comparing base (
4121ecc) to head (ee123ff).
Report is 17 commits behind head on main.
| Files with missing lines | Patch % | Lines |
|---|---|---|
| ...a/ilkd/key/rule/AbstractExternalSolverRuleApp.java | 3.44% | 28 Missing |
| .../src/main/java/de/uka/ilkd/key/smt/SMTRuleApp.java | 33.33% | 2 Missing |
Additional details and impacted files
@@ Coverage Diff @@
## main #3514 +/- ##
============================================
- Coverage 38.17% 38.17% -0.01%
Complexity 17227 17227
============================================
Files 2109 2110 +1
Lines 127624 127652 +28
Branches 21461 21464 +3
============================================
+ Hits 48724 48727 +3
- Misses 72909 72934 +25
Partials 5991 5991 ☔ View full report in Codecov by Sentry.
📢 Have feedback on the report? Share it here.
Loading