ditto icon indicating copy to clipboard operation
ditto copied to clipboard
verified publisher icon ditto-lab

Echidna setup

Open 0xbok opened this issue 3 years ago • 0 comments

echidna is not able to deploy the contract:

echidna-test --test-mode assertion  --config src/test/echidna/echidna.config.yaml --contract DittoMachineEchidna src/test/echidna/DittoMachineEchidna.sol

Analyzing contract: DittoMachineEchidna.sol:DittoMachineEchidna
echidna-test: Deploying the contract 0x00a329c0648769A73afAc7F9381E08FB43dBEA72 failed (revert, out-of-gas, sending ether to an non-payable constructor, etc.)

0xbok avatar May 25 '22 18:05 0xbok