[Bug-Candidate]:

[JacobYiu]

[Bug-Candidate]:

[ggrieco-tob]

Hello!

You need to specify the correct contract name which has the properties. Use the --contract command line option.

[JacobYiu]

Oh thank you very much! I did not realise I had to place contract inside because echidna had automatically detected right contract where the invariant was placed.

[JacobYiu]

Hi, I may be an idiot, but I was wondering how you would deploy multiple contracts. If I have 2 contracts main and dummy, where the test invariant is placed in main, how would I deploy both of them where they both contain some eth? I have managed to deploy both, where main contains an initial balance, but I am unable to figure out how to have an initial balance for dummy. I have read through the configuration file and have been struggling over an hour to do so.

// contract: "timeStamp" deployer: "0x555555" balanceContract: 100 deployContracts: [["0x30005", "User"]] sender: ["0x30005", "0x200005"] balanceAddr: 0x30000 testMode: property testLimit: 500000

Also would echidna happen to have a discord server? I have some question about echidna because I am writing about it on my dissertation and I would not want to spam the github server.

[elopez]

Hi @JacobYiu! We have a Slack workspace you can join, the link is in the readme: https://github.com/crytic/echidna?tab=readme-ov-file#getting-help

You can fund your main contract with enough eth using balanceContract, and then the constructor function of your main contract can transfer eth to other addresses / contracts to distribute the funds, or deploy extra contracts you may need.

[JacobYiu]

Thank you very much for the reply! I will continue this issue on the slack forum.