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.

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

Alternative for: "If possible save the last selected node in the proof, to reselect it upon loading." #3380

Open
wants to merge 3 commits into
base: main
Choose a base branch
from

Merge remote-tracking branch 'origin/main' into weigl/restorelastnode

66b0aa4
Select commit
Loading
Failed to load commit list.
Open

Alternative for: "If possible save the last selected node in the proof, to reselect it upon loading." #3380

Merge remote-tracking branch 'origin/main' into weigl/restorelastnode
66b0aa4
Select commit
Loading
Failed to load commit list.
Codecov / codecov/project succeeded Feb 3, 2024 in 0s

37.93% (+0.00%) compared to 603b2ca

View this Pull Request on Codecov

37.93% (+0.00%) compared to 603b2ca

Details

Codecov Report

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

Comparison is base (603b2ca) 37.93% compared to head (66b0aa4) 37.93%.

Files Patch % Lines
.../uka/ilkd/key/proof/io/OutputStreamProofSaver.java 25.00% 14 Missing and 1 partial ⚠️
...core/src/main/java/de/uka/ilkd/key/proof/Node.java 0.00% 12 Missing ⚠️
...n/java/de/uka/ilkd/key/settings/Configuration.java 9.09% 10 Missing ⚠️
...uka/ilkd/key/macros/scripts/ProofScriptEngine.java 0.00% 2 Missing ⚠️
.../src/main/java/de/uka/ilkd/key/nparser/KeyAst.java 90.90% 1 Missing ⚠️
...de/uka/ilkd/key/proof/init/KeYUserProblemFile.java 75.00% 0 Missing and 1 partial ⚠️
...n/java/de/uka/ilkd/key/settings/ProofSettings.java 90.00% 1 Missing ⚠️
Additional details and impacted files
@@            Coverage Diff             @@
##               main    #3380    +/-   ##
==========================================
  Coverage     37.93%   37.93%            
- Complexity    17030    17038     +8     
==========================================
  Files          2060     2060            
  Lines        126300   126409   +109     
  Branches      21304    21324    +20     
==========================================
+ Hits          47913    47958    +45     
- Misses        72499    72560    +61     
- Partials       5888     5891     +3     

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