Back to pull request #3324

Feature: If possible save the last selected node in the proof, to reselect it upon loading. #1774

Sign in to view logs

Triggered via pull request November 14, 2023 12:06

unp1

synchronize #3324

issue3297

Status Success

Total duration 4m 31s

Artifacts 1

This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

code_quality.yml

on: pull_request

Annotations

6 warnings

Constant conditions & exceptions: key.core/src/main/java/de/uka/ilkd/key/proof/io/AbstractProblemLoader.java#L760

Argument `parserResult.errors()` might be null

Constant conditions & exceptions: key.ui/src/main/java/de/uka/ilkd/key/gui/WindowUserInterfaceControl.java#L546

Method invocation `getNode` may produce `NullPointerException`

String concatenation as argument to 'StringBuilder.append()' call: key.core/src/main/java/de/uka/ilkd/key/proof/io/OutputStreamProofSaver.java#L599

String concatenation as argument to `Appendable.append()` call

String concatenation as argument to 'StringBuilder.append()' call: key.core/src/main/java/de/uka/ilkd/key/proof/io/OutputStreamProofSaver.java#L665

String concatenation as argument to `Appendable.append()` call

String concatenation as argument to 'StringBuilder.append()' call: key.core/src/main/java/de/uka/ilkd/key/proof/io/OutputStreamProofSaver.java#L668

String concatenation as argument to `Appendable.append()` call

String concatenation as argument to 'StringBuilder.append()' call: key.core/src/main/java/de/uka/ilkd/key/proof/io/OutputStreamProofSaver.java#L671

String concatenation as argument to `Appendable.append()` call

Artifacts

Produced during runtime

Name	Size
qodana-report Expired	13.8 MB