Skip to content
CodeQuality

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

Sign in to view logs

Proof caching: use dependency graph to increase hit rate

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

Triggered via pull request October 19, 2023 08:43
@FliegendeWurstFliegendeWurst
opened #3305
FliegendeWurst:caching-sliced
Status Failure
Total duration 4m 45s
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
qodana
4m 32s
qodana
formatting
1m 12s
formatting
checkstyle_new
1m 23s
checkstyle_new
pmd
1m 9s
pmd
Fit to window
Zoom out
Zoom in

Annotations

3 errors and 10 warnings
pmd
Gradle build failed: see console output for details
checkstyle_new
Path does not exist: sarif-report.json
checkstyle_new
Gradle build failed: see console output for details
Non-serializable field in a 'Serializable' class: keyext.caching/src/main/java/de/uka/ilkd/key/gui/plugins/caching/CachingExtension.java#L339
Non-serializable field 'mediator' in a Serializable class
Non-serializable field in a 'Serializable' class: keyext.caching/src/main/java/de/uka/ilkd/key/gui/plugins/caching/CachingExtension.java#L273
Non-serializable field 'mediator' in a Serializable class
Non-serializable field in a 'Serializable' class: keyext.caching/src/main/java/de/uka/ilkd/key/gui/plugins/caching/CachingExtension.java#L343
Non-serializable field 'node' in a Serializable class
Non-serializable field in a 'Serializable' class: keyext.caching/src/main/java/de/uka/ilkd/key/gui/plugins/caching/CachingExtension.java#L277
Non-serializable field 'node' in a Serializable class
Non-serializable field in a 'Serializable' class: keyext.caching/src/main/java/de/uka/ilkd/key/gui/plugins/caching/ReferenceSearchButton.java#L36
Non-serializable field 'mediator' in a Serializable class
Non-serializable field in a 'Serializable' class: keyext.caching/src/main/java/de/uka/ilkd/key/gui/plugins/caching/ReferenceSearchTable.java#L29
Non-serializable field 'mediator' in a Serializable class
Non-serializable field in a 'Serializable' class: keyext.caching/src/main/java/de/uka/ilkd/key/gui/plugins/caching/GotoReferenceAction.java#L21
Non-serializable field 'node' in a Serializable class
Non-serializable field in a 'Serializable' class: keyext.caching/src/main/java/de/uka/ilkd/key/gui/plugins/caching/GotoReferenceAction.java#L20
Non-serializable field 'mediator' in a Serializable class
Constant conditions & exceptions: keyext.caching/src/main/java/de/uka/ilkd/key/gui/plugins/caching/DefaultReferenceSearchDialogListener.java#L45
Method invocation `copyCachedGoals` may produce `NullPointerException`
Constant conditions & exceptions: keyext.caching/src/main/java/de/uka/ilkd/key/proof/reference/ReferenceSearcher.java#L63
Method invocation `contains` may produce `NullPointerException`

Artifacts

Produced during runtime
Name Size
qodana-report Expired
14 MB