Guillermo Larregay

[Bug-Candidate]: If `deployContracts` is used, the generated test probably won't work

3

### Describe the issue: Echidna allows contracts to be deployed to specific addresses using the `deployContracts` configuration option. However, when the tests are generated, only the harness is constructed and...

### Describe the issue: It can happen that in the corpus a function call has the address of the echidna contract as a parameter, for example `callSomething(24, 17, 0x00a329c0648769A73afAc7F9381E08FB43dBEA72)`. In...

[Bug-Candidate]: Echidna reproducers can have reverting transactions

1

### Describe the issue: It is possible for echidna reproducers or corpus entries to have transactions that revert. When those transactions are converted to a foundry test, the whole test...