Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Feature Request: Aliases for addresses in echidna's output #913

Closed
rappie opened this issue Jan 20, 2023 · 3 comments
Closed

Feature Request: Aliases for addresses in echidna's output #913

rappie opened this issue Jan 20, 2023 · 3 comments
Labels
hevm Requires changes in hevm

Comments

@rappie
Copy link

rappie commented Jan 20, 2023

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: #861
@ggrieco-tob
Copy link
Member

Related to #273

@0xalpharush
Copy link

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

@arcz arcz added the hevm Requires changes in hevm label Mar 4, 2024
@ggrieco-tob
Copy link
Member

This is already supported 🎉

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
hevm Requires changes in hevm
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
4 participants
@rappie @arcz @ggrieco-tob @0xalpharush