Feature: If possible save the last selected node in the proof, to reselect it upon loading. #1726
Annotations
6 warnings
|
key.ui/src/main/java/de/uka/ilkd/key/gui/WindowUserInterfaceControl.java#L525
Method invocation `getNode` may produce `NullPointerException`
|
|
key.core/src/main/java/de/uka/ilkd/key/proof/io/AbstractProblemLoader.java#L760
Argument `parserResult.errors()` might be null
|
|
key.core/src/main/java/de/uka/ilkd/key/proof/io/OutputStreamProofSaver.java#L665
String concatenation as argument to `Appendable.append()` call
|
|
key.core/src/main/java/de/uka/ilkd/key/proof/io/OutputStreamProofSaver.java#L668
String concatenation as argument to `Appendable.append()` call
|
|
key.core/src/main/java/de/uka/ilkd/key/proof/io/OutputStreamProofSaver.java#L671
String concatenation as argument to `Appendable.append()` call
|
|
key.core/src/main/java/de/uka/ilkd/key/proof/io/OutputStreamProofSaver.java#L599
String concatenation as argument to `Appendable.append()` call
|
The logs for this run have expired and are no longer available.
Loading