Ncore taclets · Drodt/key@3f0bb71

ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636

Qodana Scan: keyext.rusty/src/main/java/org/key_project/rusty/ast/visitor/CreatingASTVisitor.java#L180

Abstract class `DefaultAction` has no concrete subclass

Qodana Scan: keyext.rusty/src/main/java/org/key_project/rusty/control/AbstractUserInterfaceControl.java#L21

Abstract class `AbstractUserInterfaceControl` has no concrete subclass

Qodana Scan: keyext.rusty/src/main/java/org/key_project/rusty/logic/VariableNamer.java#L16

Abstract class `VariableNamer` has no concrete subclass

Qodana Scan: key.ncore.calculus/src/main/java/org/key_project/prover/sequent/Sequent.java#L365

Abstract class `NILSequent` has no concrete subclass

Qodana Scan: key.ncore/src/main/java/org/key_project/logic/PosInTerm.java#L244

Array objects are compared using `!=`, not 'Arrays.equals()'

Qodana Scan: keyext.rusty/src/main/java/org/key_project/rusty/settings/Configuration.java#L254

Cast may be removed by changing the type of 'result' to 'List'

Qodana Scan: keyext.rusty/src/main/java/org/key_project/rusty/settings/Configuration.java#L276

Cast may be removed by changing the type of 'result' to 'List'

Qodana Scan: key.core/src/main/java/de/uka/ilkd/key/rule/metaconstruct/arith/Polynomial.java#L249

Cast may be removed by changing the type of 'cTerm' to 'Term'

Qodana Scan: keyext.rusty/src/main/java/org/key_project/rusty/pp/Notation.java#L330

Cast to 'Term' type conflicts with preceding 'instanceof ImmutableList' check

Qodana Scan: keyext.rusty/src/main/java/org/key_project/rusty/rule/match/instructions/MatchProgramSVInstruction.java#L108

Empty `catch` block

Qodana Scan: keyext.rusty/src/main/java/org/key_project/rusty/ast/Converter.java#L109

Value `ctx` is always 'null'

Qodana Scan: keyext.rusty/src/main/java/org/key_project/rusty/ast/SchemaConverter.java#L419

Value `label` is always 'null'

Qodana Scan: keyext.rusty/src/main/java/org/key_project/rusty/ast/Converter.java#L168

Value `ctx` is always 'null'

Qodana Scan: keyext.rusty/src/main/java/org/key_project/rusty/ast/Converter.java#L107

Value `ctx` is always 'null'

Qodana Scan: keyext.rusty/src/main/java/org/key_project/rusty/ast/SchemaConverter.java#L136

Value `ctx` is always 'null'

Qodana Scan: keyext.rusty/src/main/java/org/key_project/rusty/parser/builder/ProblemFinder.java#L71

Value `value` is always 'null'

Qodana Scan: keyext.rusty/src/main/java/org/key_project/rusty/ast/SchemaConverter.java#L197

Value `ctx` is always 'null'

Qodana Scan: keyext.rusty/src/main/java/org/key_project/rusty/ast/Converter.java#L143

Value `ctx` is always 'null'

Qodana Scan: keyext.rusty/src/main/java/org/key_project/rusty/ast/Converter.java#L105

Value `ctx` is always 'null'

Qodana Scan: keyext.rusty/src/main/java/org/key_project/rusty/ast/SchemaConverter.java#L134

Value `ctx` is always 'null'

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

Ncore taclets #110

qodana

Ncore taclets #110

Jobs

Run details

Annotations

qodana

Re-running jobs...