Rappie
Rappie
It would be nice to have control over certain parameters while echidna is running, instead of having to edit the config file and restart echidna. I would particularly like this...
As soon as I add an address to the `sender` list in echidnas config I can't deploy a Contract to that address by setting it's address in the etheno log....
It only shows there is an error. Not the specific error that slither returns. ``` $ echidna-test . --contract E2E --config echidna-config.yaml Loaded total of 0 transactions from echidna-corpus/coverage Analyzing...
_Must have_ Being able to know echidna's code coverage as a percentage _Should have_ Write the coverage percentage to a file in the corpus directory _Would be nice_ Show a...
When end-to-end testing multiple contracts it would be nice to see which contracts has been called to fail the test. Current output ``` testBet(): failed!💥 Call sequence, shrinking (1736/5000): setLp(0x0)...
I use echidna in `multi-abi` mode with a lot of addresses in the `sender` list. It seems like echina only shows the addresses if there are different addresses used in...
**Use case** This use case is inspired by Damn Vulnerable DeFi - Unstoppable. https://www.damnvulnerabledefi.xyz/challenges/1.html There are 3 users: - Admin. Deploys contracts, is owner, etc. - User. Uses the contracts,...
### Describe the issue: Slither crashes. Commands used: ``` yarn hardhat clean slither . ``` Software used: Yarn Berry (PnP), with old versions of hardhat, openzeppelin, etc. Slither version 0.8.3...
Hi. I've been having problems with exporting my deployment transactions using Hardhat. It turns out this is because the etheno logging system depends on a ` eth_getTransactionReceipt` for it's exporting...
Hello, I'm an aspiring bug bounty hunter, looking to get into smart contract hacking. I'm especially interested in automated fuzzing/testing, this is what led me to your awesome tools :)...