incorrect-equality reports false positive when comparing enums
Open
- Dominant language
- Python
- Stars
- 6.4k
- Forks
- 1.1k
- PR merge metrics
- No merged PRs in 30d
Description
given `A` is an enum and `A a` then `a == A.B` is reported by slither as `incorrect-equality` with high confidence.
I think this is a false positive and doesn't fit the description here: https://github.com/crytic/slither/wiki/Detector-Documentation#dangerous-strict-equalities
Contributor guide
Assessment
This issue has not been assessed yet.