Skip to content
CodeQuality

Generalizing Logic Data Structures #1994

Sign in to view logs

Generalizing Logic Data Structures

Generalizing Logic Data Structures #1994

Triggered via pull request January 29, 2024 09:56
@DrodtDrodt
synchronize #3357
Drodt:extract-new-core
Status Failure
Total duration 6m 45s
Artifacts 1

code_quality.yml

on: pull_request
qodana
6m 33s
qodana
formatting
1m 5s
formatting
checkstyle_new
58s
checkstyle_new
pmd
57s
pmd
Fit to window
Zoom out
Zoom in

Annotations

3 errors, 16 warnings, and 10 notices
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
pmd
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3, actions/setup-java@v3, gradle/gradle-build-action@v2.4.2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
checkstyle_new
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3, actions/setup-java@v3, gradle/gradle-build-action@v2.4.2, github/codeql-action/upload-sarif@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
checkstyle_new
CodeQL Action v2 will be deprecated on December 5th, 2024. Please update all occurrences of the CodeQL Action in your workflow files to v3. For more information, see https://github.blog/changelog/2024-01-12-code-scanning-deprecation-of-codeql-action-v2/
formatting
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3, actions/setup-java@v3, gradle/gradle-build-action@v2.4.2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
qodana
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3, JetBrains/qodana-action@v2022.3.0, github/codeql-action/upload-sarif@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
qodana
CodeQL Action v2 will be deprecated on December 5th, 2024. Please update all occurrences of the CodeQL Action in your workflow files to v3. For more information, see https://github.blog/changelog/2024-01-12-code-scanning-deprecation-of-codeql-action-v2/
'equals()' and 'hashCode()' not paired: key.core/src/main/java/de/uka/ilkd/key/logic/sort/SortImpl.java#L18
Class has `equals()` defined but does not define `hashCode()`
'equals()' and 'hashCode()' not paired: key.core/src/main/java/de/uka/ilkd/key/logic/op/SortDependingFunction.java#L28
Class has `hashCode()` defined but does not define `equals()`
'equals()' and 'hashCode()' not paired: key.ncore/src/main/java/org/key_project/logic/sort/AbstractSort.java#L14
Class has `equals()` defined but does not define `hashCode()`
Non-serializable field in a 'Serializable' class: key.ui/src/main/java/de/uka/ilkd/key/gui/actions/TermLabelMenu.java#L183
Non-serializable field 'labelName' in a Serializable class
Non-serializable field in a 'Serializable' class: key.core/src/main/java/de/uka/ilkd/key/rule/tacletbuilder/TacletBuilder.java#L334
Non-serializable field 'tacletname' in a Serializable class
Non-serializable field in a 'Serializable' class: key.ui/src/main/java/de/uka/ilkd/key/gui/mergerule/MergePartnerSelectionDialog.java#L73
Non-serializable field 'mergeGoalPio' in a Serializable class
Call to default 'toString()': key.core/src/main/java/de/uka/ilkd/key/speclang/LoopContractImpl.java#L904
Call to default 'toString()' on `variables`
Call to default 'toString()': key.core/src/main/java/de/uka/ilkd/key/speclang/BlockContractImpl.java#L212
Call to default 'toString()' on `variables`
Constant conditions & exceptions: key.core/src/main/java/de/uka/ilkd/key/rule/LightweightSyntacticalReplaceVisitor.java#L183
Variable is already assigned to this value
Constant conditions & exceptions: key.core/src/main/java/de/uka/ilkd/key/rule/FindTaclet.java#L110
Variable is already assigned to this value
Constant conditions & exceptions: key.core/src/main/java/de/uka/ilkd/key/rule/QueryExpand.java#L367
Value `curPosIsPositive` is always 'true'
Constant conditions & exceptions: key.core/src/main/java/de/uka/ilkd/key/rule/QueryExpand.java#L367
Value `curPosIsPositive` is always 'true'
Constant conditions & exceptions: key.core/src/main/java/de/uka/ilkd/key/rule/QueryExpand.java#L374
Value `curPosIsPositive` is always 'false'
Constant conditions & exceptions: key.core/src/main/java/de/uka/ilkd/key/rule/QueryExpand.java#L374
Value `curPosIsPositive` is always 'false'
Constant conditions & exceptions: key.core/src/main/java/de/uka/ilkd/key/rule/QueryExpand.java#L385
Value `curPosIsPositive` is always 'true'
Constant conditions & exceptions: key.core/src/main/java/de/uka/ilkd/key/rule/QueryExpand.java#L385
Value `curPosIsPositive` is always 'true'
Constant conditions & exceptions: key.core/src/main/java/de/uka/ilkd/key/rule/QueryExpand.java#L391
Value `curPosIsPositive` is always 'false'
Constant conditions & exceptions: key.core/src/main/java/de/uka/ilkd/key/rule/QueryExpand.java#L391
Value `curPosIsPositive` is always 'false'
Constant conditions & exceptions: key.core/src/main/java/de/uka/ilkd/key/rule/conditions/SimplifyIfThenElseUpdateCondition.java#L103
Method `collect` is too complex to analyze by data flow algorithm
Constant conditions & exceptions: key.core/src/main/java/de/uka/ilkd/key/rule/conditions/TypeCondition.java#L88
Value `isReference` is always 'true'

Artifacts

Produced during runtime
Name Size
qodana-report Expired
15.6 MB