Combine equalsMod... methods #1989
tobias-rnh
This run and associated checks have been archived and are scheduled for deletion.
Learn more about checks retention
Annotations
2 warnings
|
'equals()' and 'hashCode()' not paired:
key.core/src/main/java/de/uka/ilkd/key/logic/LabeledTermImpl.java#L42
Class has `equals()` defined but does not define `hashCode()`
|
|
Constant conditions & exceptions:
key.core/src/main/java/de/uka/ilkd/key/logic/equality/ProofIrrelevancyProperty.java#L111
Condition `hashcode2 == -1` is always `true`
|
Artifacts
Produced during runtime
| Name | Size | |
|---|---|---|
|
qodana-report
Expired
|
14 MB |
|