Assignable free #1061
flo2702
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
5m 22s
formatting
1m 1s
checkstyle_new
1m 27s
pmd
1m 42s
Annotations
4 warnings
|
Constant conditions & exceptions:
key.core/src/main/java/de/uka/ilkd/key/speclang/LoopContractImpl.java#L1113
Condition `hm` at the left side of assignment expression is always `false`. Can be simplified
|
|
Constant conditions & exceptions:
key.core/src/main/java/de/uka/ilkd/key/speclang/LoopContractImpl.java#L1114
Condition `hfm` at the left side of assignment expression is always `false`. Can be simplified
|
|
Constant conditions & exceptions:
key.core/src/main/java/de/uka/ilkd/key/speclang/BlockContractImpl.java#L332
Condition `hm` at the left side of assignment expression is always `false`. Can be simplified
|
|
Constant conditions & exceptions:
key.core/src/main/java/de/uka/ilkd/key/speclang/BlockContractImpl.java#L333
Condition `hfm` at the left side of assignment expression is always `false`. Can be simplified
|
Artifacts
Produced during runtime
| Name | Size | |
|---|---|---|
|
qodana-report
Expired
|
13.8 MB |
|