search

ditto-lab / ditto

NFT Future protocol
MIT License
60 stars 3 forks source link

Echidna setup #49

Closed 0xbok closed 1 year ago

0xbok commented 2 years ago

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.)