Skip to content
CodeQuality

RuleApp interface for all external solvers (prep for #3514) (#3521) #60

Sign in to view logs

RuleApp interface for all external solvers (prep for #3514) (#3521)

RuleApp interface for all external solvers (prep for #3514) (#3521) #60

Triggered via push November 14, 2024 13:52
@DrodtDrodt
pushed c19bb8e
main
Status Failure
Total duration 6m 13s
Artifacts –

code_quality.yml

on: push
checkerFramework
2m 3s
checkerFramework
qodana
6m 3s
qodana
formatting
1m 3s
formatting
checkstyle_new
1m 33s
checkstyle_new
pmd
1m 36s
pmd
Fit to window
Zoom out
Zoom in

Annotations

3 errors, 19 warnings, and 10 notices
checkstyle_new
Resource not accessible by integration
pmd
Resource not accessible by integration
qodana
Resource not accessible by integration
checkstyle_new
Resource not accessible by integration
checkstyle_new
Resource not accessible by integration
checkstyle_new
Resource not accessible by integration
pmd
Resource not accessible by integration
pmd
Resource not accessible by integration
pmd
Resource not accessible by integration
qodana
Resource not accessible by integration
qodana
Resource not accessible by integration
qodana
Resource not accessible by integration
qodana
You are using a non-compatible Qodana linter jetbrains/qodana-jvm-community:2022.1 with the current CLI (2024.2.5)
qodana
You are using a non-compatible Qodana linter jetbrains/qodana-jvm-community:2022.1 with the current CLI (2024.2.5)
qodana
You are using a non-compatible Qodana linter jetbrains/qodana-jvm-community:2022.1 with the current CLI (2024.2.5)
'equals()' called on itself: key.core/src/test/java/de/uka/ilkd/key/util/TestVersionStringComparator.java#L24
`compare()` called on itself
'equals()' called on itself: key.util/src/test/java/org/key_project/util/testcase/java/StringUtilTest.java#L221
`compareToIgnoreCase()` called on itself
'equals()' called on itself: key.util/src/test/java/org/key_project/util/testcase/java/StringUtilTest.java#L221
`compare()` called on itself
'equals()' called on itself: key.util/src/test/java/org/key_project/util/testcase/java/StringUtilTest.java#L229
`compare()` called on itself
'finalize()' should not be overridden: key.ui/src/main/java/de/uka/ilkd/key/gui/nodeviews/SequentView.java#L246
'finalize()' should not be overridden
'finalize()' should not be overridden: key.ui/src/main/java/de/uka/ilkd/key/gui/prooftree/ProofTreeView.java#L331
'finalize()' should not be overridden
'finalize()' should not be overridden: key.core/src/main/java/de/uka/ilkd/key/proof/mgt/ProofCorrectnessMgt.java#L270
'finalize()' should not be overridden
Duplicate branches in 'switch': recoder/src/main/java/recoder/parser/JavaCCParser.java#L3866
Duplicate branch in 'switch'
Duplicate branches in 'switch': recoder/src/main/java/recoder/bytecode/ByteCodeParser.java#L1064
Branch in 'switch' is a duplicate of the default branch
Duplicate branches in 'switch': recoder/src/main/java/recoder/bytecode/ByteCodeParser.java#L1136
Branch in 'switch' is a duplicate of the default branch
Duplicate branches in 'switch': key.core/src/main/java/de/uka/ilkd/key/proof/io/IntermediatePresentationProofFileParser.java#L134
Branch in 'switch' is a duplicate of the default branch
Duplicate branches in 'switch': key.core/src/main/java/de/uka/ilkd/key/speclang/njml/Translator.java#L1097
Duplicate branch in 'switch'
Duplicate branches in 'switch': key.core/src/main/java/de/uka/ilkd/key/strategy/JavaCardDLStrategy.java#L132
Duplicate branch in 'switch'
Multiple occurrences of the same expression: key.ui/src/main/java/de/uka/ilkd/key/gui/proofdiff/diff_match_patch.java#L1598
Multiple occurrences of `((rd[j + 1] << 1) | 1) & charMatch`
Multiple occurrences of the same expression: key.ui/src/main/java/de/uka/ilkd/key/gui/proofdiff/diff_match_patch.java#L1601
Multiple occurrences of `((rd[j + 1] << 1) | 1) & charMatch`
Multiple occurrences of the same expression: key.ui/src/test/java/de/uka/ilkd/key/gui/ShortUniqueFileNamesTest.java#L20
Multiple occurrences of `Paths.get("z", "a", "b", "c").toString()`
Multiple occurrences of the same expression: key.ui/src/test/java/de/uka/ilkd/key/gui/ShortUniqueFileNamesTest.java#L20
Multiple occurrences of `Paths.get("z", "a", "b", "c")`