echidna
echidna copied to clipboard
Add a flag to log msg.sender for each function trace
Describe the desired feature
Medusa currently logs the entire function trace, as well as the address caller for each. would be really useful if Echidna did as well
With the usage of traces from hevm, I think this should be an issue in their repo (we could add code, but ideally, we should push it there). What do you think @arcz ?
Some examples/screenshots would help here
I believe this just got added to echidna:
- https://github.com/crytic/echidna/pull/1157
- https://twitter.com/rappie_eth/status/1747212387613135248
Echidna only prints the address of the caller if they differ between functions in the sequence that lead to a broken invariant.
Related: https://github.com/crytic/echidna/issues/656#issuecomment-1342570956