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

Allow named senders

Open agroce opened this issue 6 years ago • 2 comments

User output could be more friendly if there were names for senders in the .yaml: e.g., "deployer" for the deployer/psender, "user 1", "user 2", "attacker" etc.

agroce avatar Jul 23 '19 17:07 agroce

I think vm.label should work here?

gustavo-grieco avatar May 06 '24 11:05 gustavo-grieco

I will do some testing with vm.label soon

rappie avatar May 10 '24 10:05 rappie

Fixed in #1314

gustavo-grieco avatar Sep 18 '24 09:09 gustavo-grieco