Skip to content
CodeQuality

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

Sign in to view logs

Proof caching: use dependency graph to increase hit rate

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

Triggered via pull request January 11, 2024 09:49
@FliegendeWurstFliegendeWurst
synchronize #3305
FliegendeWurst:caching-sliced
Status Failure
Total duration 3m 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
3m 33s
qodana
formatting
50s
formatting
checkstyle_new
1m 37s
checkstyle_new
pmd
1m 47s
pmd
Fit to window
Zoom out
Zoom in

Annotations

1 error, 10 warnings, and 5 notices
formatting
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#L285
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#L351
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#L281
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#L347
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/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/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/test/java/de/uka/ilkd/key/proof/reference/TestReferenceSearcher.java#L62
Method invocation `node` may produce `NullPointerException`
Constant conditions & exceptions: keyext.caching/src/test/java/de/uka/ilkd/key/proof/reference/TestReferenceSearcher.java#L76
Method invocation `register` may produce `NullPointerException`
Constant conditions & exceptions: keyext.slicing/src/main/java/org/key_project/slicing/graph/DependencyGraph.java#L384
Value `toCheck` is always 'null'
Constant conditions & exceptions: keyext.slicing/src/main/java/org/key_project/slicing/graph/DependencyGraph.java#L385
Value `node` is always 'null'
Constant conditions & exceptions: keyext.slicing/src/main/java/org/key_project/slicing/graph/DependencyGraph.java#L386
Value `node` is always 'null'
Constant conditions & exceptions: keyext.slicing/src/main/java/org/key_project/slicing/graph/DependencyGraph.java#L426
Value `node` is always 'null'
Constant conditions & exceptions: keyext.slicing/src/main/java/org/key_project/slicing/graph/DependencyGraph.java#L431
Value `edge2` is always 'null'

Artifacts

Produced during runtime
Name Size
qodana-report Expired
14.2 MB