Workflow for testing releases (#3211) · KeYProject/key@f56c6fc

key.core/src/test/java/de/uka/ilkd/key/util/TestVersionStringComparator.java#L21

`compare()` called on itself

key.util/src/test/java/org/key_project/util/testcase/java/StringUtilTest.java#L225

`compareToIgnoreCase()` called on itself

key.util/src/test/java/org/key_project/util/testcase/java/StringUtilTest.java#L225

`compare()` called on itself

key.util/src/test/java/org/key_project/util/testcase/java/StringUtilTest.java#L233

`compare()` called on itself

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()\]'

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()\]'

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()\]'

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()\]'

key.ui/src/main/java/de/uka/ilkd/key/gui/nodeviews/SequentView.java#L233

'finalize()' should not be overridden

key.ui/src/main/java/de/uka/ilkd/key/gui/prooftree/ProofTreeView.java#L306

'finalize()' should not be overridden

recoder/src/main/java/recoder/parser/JavaCCParser.java#L3863

Duplicate branch in 'switch'

recoder/src/main/java/recoder/bytecode/ByteCodeParser.java#L1134

Branch in 'switch' is a duplicate of the default branch

recoder/src/main/java/recoder/bytecode/ByteCodeParser.java#L1062

Branch in 'switch' is a duplicate of the default branch

key.core/src/main/java/de/uka/ilkd/key/macros/scripts/ScriptLineParser.java#L210

Duplicate branch in 'switch'

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`

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`

key.ui/src/test/java/de/uka/ilkd/key/gui/ShortUniqueFileNamesTest.java#L17

Multiple occurrences of `Paths.get("z", "a", "b", "c").toString()`

key.ui/src/test/java/de/uka/ilkd/key/gui/ShortUniqueFileNamesTest.java#L17

Multiple occurrences of `Paths.get("z", "a", "b", "c")`

key.ui/src/test/java/de/uka/ilkd/key/gui/ShortUniqueFileNamesTest.java#L18

Multiple occurrences of `Paths.get("z", "a", "b", "c").toString()`

key.ui/src/test/java/de/uka/ilkd/key/gui/ShortUniqueFileNamesTest.java#L18

Multiple occurrences of `Paths.get("z", "a", "b", "c")`

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

Workflow for testing releases (#3211) #1103

qodana

Workflow for testing releases (#3211) #1103

Jobs

Run details

Annotations

The logs for this run have expired and are no longer available.

Re-running jobs...