Enhance support for call sequences that trigger a `fallback` or `receive` function in the target
Open
enhancement
- Dominant language
- Solidity
- Stars
- 115
- Forks
- 6
- PR merge metrics
- No merged PRs in 30d
Description
### Describe the desired feature
- [x] Extend PR https://github.com/crytic/test-generator/pull/6 to add support for low-level calls for Echidna
- [ ] Add no data low-level call support for Medusa
- [ ] Add input and output data support for low-level calls
Contributor guide
Assessment
This issue has not been assessed yet.