race condition for writing to `crytic-export/combined_solc.json`
Open
- Dominant language
- Haskell
- Stars
- 3.2k
- Forks
- 432
- Avg merge
- 1d 20h
- Merged PRs (30d)
- 5
Description
## 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`
Contributor guide
Assessment
This issue has not been assessed yet.