race condition for writing to `crytic-export/combined_solc.json`

[monperrus]

Setup

run multiple echidna instances in parallel

Expected behavior

it works, there is no shared state

Actual behavior

All instances write and read from crytic-export/combined_solc.json.
To avoid the hard to debug race condition, it could instead write to crytic-export-{UNIQID}/combined_solc.json

[gustavo-grieco]

To avoid any race condition, there are different options:

• Run each echidna instance from a different directory but pointing to the same contract target.
• Add a random delay to start each echidna instance.
• Compile once and then pass the option --ignore-compile to crytic-compile using cryticArgs.

An example of this is here: https://github.com/crytic/echidna-parade

In any case, why you want to different instance instead of adding more workers?

[monperrus]

Run each echidna instance from a different directory but pointing to the same contract target.

Yes, this is the current workaround.

In any case, why you want to different instance instead of adding more workers?

because we fuzz different contracts :)

[gustavo-grieco]

Btw, have you investigated using allContracts?

[monperrus]

Interesting, thanks for the pointer!