Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Proof caching: use dependency graph to increase hit rate #3305

Merged
merged 42 commits into from
Feb 8, 2024

Merge remote-tracking branch 'origin/main' into caching-sliced

82b0ac9
Select commit
Loading
Failed to load commit list.
Merged

Proof caching: use dependency graph to increase hit rate #3305

Merge remote-tracking branch 'origin/main' into caching-sliced
82b0ac9
Select commit
Loading
Failed to load commit list.
Codecov / codecov/project succeeded Feb 8, 2024 in 0s

37.72% (-0.22%) compared to 603b2ca

View this Pull Request on Codecov

37.72% (-0.22%) compared to 603b2ca

Details

Codecov Report

Attention: 333 lines in your changes are missing coverage. Please review.

Comparison is base (603b2ca) 37.93% compared to head (82b0ac9) 37.72%.

Files Patch % Lines
...ava/org/key_project/slicing/graph/DotExporter.java 0.00% 41 Missing ⚠️
...org/key_project/slicing/graph/DependencyGraph.java 9.30% 39 Missing ⚠️
...ilkd/key/gui/plugins/caching/CachingExtension.java 0.00% 33 Missing ⚠️
.../gui/plugins/caching/actions/CloseByReference.java 0.00% 30 Missing ⚠️
...d/key/gui/plugins/caching/CachingPruneHandler.java 0.00% 26 Missing ⚠️
...ore/src/main/java/de/uka/ilkd/key/proof/Proof.java 0.00% 25 Missing ⚠️
...i/plugins/caching/actions/CloseAllByReference.java 0.00% 23 Missing ⚠️
...i/plugins/caching/actions/CopyReferencedProof.java 0.00% 20 Missing ⚠️
..._project/slicing/graph/AnnotatedShortenedEdge.java 0.00% 14 Missing ⚠️
...i/plugins/caching/toolbar/CachingToggleAction.java 0.00% 13 Missing ⚠️
... and 14 more
Additional details and impacted files 
@@             Coverage Diff              @@
##               main    #3305      +/-   ##
============================================
- Coverage     37.93%   37.72%   -0.22%     
+ Complexity    17030    17017      -13     
============================================
  Files          2060     2076      +16     
  Lines        126300   126942     +642     
  Branches      21304    21378      +74     
============================================
- Hits          47913    47889      -24     
- Misses        72499    73156     +657     
- Partials       5888     5897       +9

☔ View full report in Codecov by Sentry.
📢 Have feedback on the report? Share it here.

View more details on Codecov