Linearized symbolic execution in proof tree #3237
Open
Codecov / codecov/project
succeeded
Jan 11, 2024 in 0s
37.91% (-0.03%) compared to 9634682
View this Pull Request on Codecov
37.91% (-0.03%) compared to 9634682
Details
Codecov Report
Attention: 2 lines in your changes are missing coverage. Please review.
Comparison is base (
9634682) 37.94% compared to head (4f1acae) 37.91%.
| Files | Patch % | Lines |
|---|---|---|
| ...e/uka/ilkd/key/nparser/builder/TacletPBuilder.java | 83.33% | 1 Missing |
| ...lkd/key/rule/tacletbuilder/TacletGoalTemplate.java | 75.00% | 1 Missing |
Additional details and impacted files
@@ Coverage Diff @@
## main #3237 +/- ##
============================================
- Coverage 37.94% 37.91% -0.03%
+ Complexity 17036 17029 -7
============================================
Files 2060 2060
Lines 126284 126292 +8
Branches 21303 21304 +1
============================================
- Hits 47914 47889 -25
- Misses 72486 72517 +31
- Partials 5884 5886 +2 ☔ View full report in Codecov by Sentry.
📢 Have feedback on the report? Share it here.
Loading