slither-prop: Update documentation and reference to include manticore-verifier
Open
good first issue
help wanted
- Dominant language
- Python
- Stars
- 6.4k
- Forks
- 1.1k
- PR merge metrics
- No merged PRs in 30d
Description
`manticore-verifier` should work out of the box with `slither-prop`.
We need to update all the reference to Echidna to include Manticore, (including `echidna_config.yaml` and the [wiki](https://github.com/crytic/slither/wiki/Property-generation))
Contributor guide
Assessment
This issue has not been assessed yet.