Skip to content
CodeQuality

Workflow for testing releases (#3211) #1103

Sign in to view logs

Workflow for testing releases (#3211)

Workflow for testing releases (#3211) #1103

Triggered via push July 21, 2023 20:53
@github-merge-queuegithub-merge-queue[bot]
pushed f56c6fc
main
Status Success
Total duration 12m 13s
Artifacts 1

code_quality.yml

on: push
qodana
11m 57s
qodana
formatting
1m 3s
formatting
checkstyle_new
1m 49s
checkstyle_new
pmd
1m 49s
pmd
Fit to window
Zoom out
Zoom in

Annotations

10 warnings and 10 notices
'equals()' called on itself: key.core/src/test/java/de/uka/ilkd/key/util/TestVersionStringComparator.java#L21
`compare()` called on itself
'equals()' called on itself: key.util/src/test/java/org/key_project/util/testcase/java/StringUtilTest.java#L225
`compareToIgnoreCase()` called on itself
'equals()' called on itself: key.util/src/test/java/org/key_project/util/testcase/java/StringUtilTest.java#L225
`compare()` called on itself
'equals()' called on itself: key.util/src/test/java/org/key_project/util/testcase/java/StringUtilTest.java#L233
`compare()` called on itself
'Collection.toArray()' call style: key.core.symbolic_execution/src/main/java/de/uka/ilkd/key/symbolic_execution/TruthValueTracingUtil.java#L1036
Call to `toArray()` with pre-sized array argument 'new BranchResult\[branchResults.size()\]'
'Collection.toArray()' call style: key.core.symbolic_execution/src/main/java/de/uka/ilkd/key/symbolic_execution/util/SideProofStore.java#L221
Call to `toArray()` with pre-sized array argument 'new ISideProofStoreListener\[listener.size()\]'
'Collection.toArray()' call style: key.core.symbolic_execution/src/main/java/de/uka/ilkd/key/symbolic_execution/util/SideProofStore.java#L190
Call to `toArray()` with pre-sized array argument 'new Entry\[entries.size()\]'
'Collection.toArray()' call style: key.core.symbolic_execution/src/main/java/de/uka/ilkd/key/symbolic_execution/util/SideProofStore.java#L121
Call to `toArray()` with pre-sized array argument 'new Entry\[entries.size()\]'
'finalize()' should not be overridden: key.ui/src/main/java/de/uka/ilkd/key/gui/nodeviews/SequentView.java#L233
'finalize()' should not be overridden
'finalize()' should not be overridden: key.ui/src/main/java/de/uka/ilkd/key/gui/prooftree/ProofTreeView.java#L306
'finalize()' should not be overridden
Duplicate branches in 'switch': recoder/src/main/java/recoder/parser/JavaCCParser.java#L3863
Duplicate branch in 'switch'
Duplicate branches in 'switch': recoder/src/main/java/recoder/bytecode/ByteCodeParser.java#L1134
Branch in 'switch' is a duplicate of the default branch
Duplicate branches in 'switch': recoder/src/main/java/recoder/bytecode/ByteCodeParser.java#L1062
Branch in 'switch' is a duplicate of the default branch
Duplicate branches in 'switch': key.core/src/main/java/de/uka/ilkd/key/macros/scripts/ScriptLineParser.java#L210
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#L1611
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#L1614
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#L17
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#L17
Multiple occurrences of `Paths.get("z", "a", "b", "c")`
Multiple occurrences of the same expression: key.ui/src/test/java/de/uka/ilkd/key/gui/ShortUniqueFileNamesTest.java#L18
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#L18
Multiple occurrences of `Paths.get("z", "a", "b", "c")`

Artifacts

Produced during runtime
Name Size
qodana-report Expired
34.1 MB