echidna
echidna copied to clipboard
crytic
Ethereum smart contract fuzzer
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)...
Review [every challenge from The Ethernaut CTF](https://solidity-05.ethernaut.openzeppelin.com/), to see which ones can be solve automatically using Echidna. A plan to proceed: 1. Report back the results here for discussion. 2....
When used in `property` mode with `echidna_x`, `psender` defines the address transactions originate from (from a single address). When used in `assertion mode`, echidna uses `sender`, in which it originates...
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...
``` | // SPDX-License-Identifier: MIT | | pragma solidity 0.8.13; *r | | contract TestContract { | | function test(uint x) public view returns (uint) { | assert(x >= 0);...
This adds automated builds using Cirrus CI, which offers M1 runners. The build process performed is similar to the current GH Actions Mac CI, which uses Stack. The main process...
The simplest example that I can give is Ethernaut challenge 06 Delegate. For ease of description, I will just call them contract A and contract B. Contract A has some...
