Assignable free #1061
Annotations
4 warnings
|
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
|
|
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
|
|
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
|
|
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
|
The logs for this run have expired and are no longer available.
Loading