Separate stateless verification mode from other modes and use a dedicated "testing mode" for it
Closed
- Dominant language
- Haskell
- Stars
- 3.2k
- Forks
- 432
- Avg merge
- 1d 20h
- Merged PRs (30d)
- 5
Description
Stateless verification does not need corpus replay nor multiple workers, so it can be separated from the other features that require specific worker interaction. Ideally: `echidna . --contract Test --test-mode verification` should be enough to verify stateless properties.
Related with #1490
Contributor guide
Assessment
This issue has not been assessed yet.