Support properties and invariants without arguments in symbolic mode
Open
enhancement
- Dominant language
- Haskell
- Stars
- 3.2k
- Forks
- 432
- Avg merge
- 1d 20h
- Merged PRs (30d)
- 5
Description
### Describe the desired feature
Echidna should be able to deal with one symbolic transaction + checking assertions/properties.
Contributor guide
Assessment
This issue has not been assessed yet.