Rename echidna_ default
Open
- Dominant language
- Haskell
- Stars
- 3.2k
- Forks
- 432
- Avg merge
- 1d 20h
- Merged PRs (30d)
- 5
Description
We should probably stop using `echidna_` as default for property. Maybe `invariant_` ?
See https://github.com/crytic/medusa/issues/182
Contributor guide
Assessment
This issue has not been assessed yet.