enhancementgood first issuehelp wanted
Repository metrics
- Stars
- (4,769 stars)
- PR merge metrics
- (平均マージ 54d 9h) (30d で 2 merged PRs)
説明
I have a project create with hardhat and I'm trying to run slither-prop on it,
using this command
slither-prop . --contract Penguin
But I am getting this error ERROR:root:11 not yet supported by slither-prop, from what I could understand from the --help section, slither support hardhat, so what i am missing?
Also it would be really great if you could share some officials docs/examples because i'm trying to understand the tool right now.
I took a look at this, but i feel it is not very comprehensive (https://github.com/crytic/slither/wiki/Property-generation)