slither-prop: support abstract contract
Open
- Dominant language
- Python
- Stars
- 6.4k
- Forks
- 1.1k
- PR merge metrics
- No merged PRs in 30d
Description
The properties contracts might be abstract if it inherits from an abstract contract for recent solidity versions
https://github.com/crytic/slither/blob/7751cba82f34fed6c24cb5f5cb00a66f9e20e3b6/slither/tools/properties/solidity/generate_properties.py#L22
Contributor guide
Assessment
This issue has not been assessed yet.