echidna icon indicating copy to clipboard operation
echidna copied to clipboard
verified publisher icon crytic

Feature Request: Aliases for addresses in echidna's output

Open rappie opened this issue 2 years ago • 2 comments

It would be nice to have to option to use aliases for addresses.

  1. It's easier to recognize which contract/EOA is being used
  2. Keeps the UI cleaner (makes the lines shorter)

Example testDeposit(<TargetContract>,123,123,<Attacker>,true)

This could possibly be combined with: https://github.com/crytic/echidna/issues/861

rappie avatar Jan 20 '23 11:01 rappie

Related to #273

gustavo-grieco avatar Jan 20 '23 11:01 gustavo-grieco

Foundry has a vm.label cheatcode that does this and would improve Echidna's parity https://book.getfoundry.sh/cheatcodes/label?highlight=labe#label

0xalpharush avatar Jun 17 '23 18:06 0xalpharush

This is already supported :tada:

gustavo-grieco avatar May 08 '24 17:05 gustavo-grieco