Open FliegendeWurst opened 5 months ago
Attention: Patch coverage is 4.54545%
with 21 lines
in your changes are missing coverage. Please review.
Project coverage is 37.85%. Comparing base (
7254776
) to head (d88c575
). Report is 114 commits behind head on main.:exclamation: Current head d88c575 differs from pull request most recent head 523a172. Consider uploading reports for the commit 523a172 to get more accurate results
Files | Patch % | Lines |
---|---|---|
...i/plugins/caching/actions/CopyReferencedProof.java | 0.00% | 19 Missing :warning: |
...ka/ilkd/key/proof/reference/ReferenceSearcher.java | 33.33% | 2 Missing :warning: |
:umbrella: View full report in Codecov by Sentry.
:loudspeaker: Have feedback on the report? Share it here.
I nearly always get a dialog listing (only) the nodes where the caching failed (in the screenshot, actually two of the three goals are closed via cache):
I changed this dialog to list both successful matches and mismatches.
A bit unrelated, I have another small feature request: "Prune Proof" should work with goals that are closed by cache.
Done
Intended Change
This PR changes the "Copy referenced proof steps here" action to allow applying it on any node that has leaf children with caching info. It will then copy the referenced proof steps for all cached branches.
Type of pull request
Ensuring quality
Additional information and contact(s)
The contributions within this pull request are licensed under GPLv2 (only) for inclusion in KeY.