Skip to content
CodeQuality

Several fixes for the modality class #18

Sign in to view logs

Several fixes for the modality class

Several fixes for the modality class #18

Triggered via pull request October 21, 2023 10:27
@unp1unp1
opened #6
severalFixes
Status Failure
Total duration 13m 14s
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
13m 3s
qodana
formatting
1m 11s
formatting
checkstyle_new
2m 20s
checkstyle_new
pmd
1m 37s
pmd
Fit to window
Zoom out
Zoom in

Annotations

1 error and 10 warnings
formatting
Gradle build failed: see console output for details
'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()`
'equals()' and 'hashCode()' not paired: key.core/src/main/java/de/uka/ilkd/key/logic/sort/SortImpl.java#L13
Class has `equals()` defined but does not define `hashCode()`
Duplicate character in character class: key.ui/src/main/java/de/uka/ilkd/key/gui/nodeviews/SequentViewSearchBar.java#L223
Duplicate character '\\\\\\\\' inside character class
Duplicate character in character class: key.ui/src/main/java/de/uka/ilkd/key/gui/nodeviews/SequentViewSearchBar.java#L223
Duplicate character '\\\\\\\\' inside character class
Constant conditions & exceptions: key.core/src/main/java/de/uka/ilkd/key/proof/Statistics.java#L200
Variable is already assigned to this value
Constant conditions & exceptions: key.core/src/main/java/de/uka/ilkd/key/proof/Statistics.java#L202
Variable is already assigned to this value
Constant conditions & exceptions: key.core/src/main/java/de/uka/ilkd/key/proof/Statistics.java#L204
Variable is already assigned to this value
Constant conditions & exceptions: key.core.symbolic_execution/src/main/java/de/uka/ilkd/key/symbolic_execution/slicing/AbstractSlicer.java#L664
Condition `secondValues != null` is always `true` when reached
Constant conditions & exceptions: key.core.symbolic_execution/src/main/java/de/uka/ilkd/key/symbolic_execution/slicing/AbstractSlicer.java#L667
Condition `firstValues != null && secondValues != null` is always `true`
Constant conditions & exceptions: key.core.symbolic_execution/src/main/java/de/uka/ilkd/key/symbolic_execution/slicing/AbstractSlicer.java#L667
Condition `firstValues != null` is always `true`

Artifacts

Produced during runtime
Name Size
qodana-report Expired
21.9 MB