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 that case, it is possible that the address of the contract deployed in the tests will be different, leading to non-reproducible behavior due to that difference. In that case, the call should be replaced with callSomething(24, 17, address(ContractDeployedInTest))
Code example to reproduce the issue:
Private code.
Version:
N/A
Relevant log output:
No response
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 that case, it is possible that the address of the contract deployed in the tests will be different, leading to non-reproducible behavior due to that difference. In that case, the call should be replaced with
callSomething(24, 17, address(ContractDeployedInTest))Code example to reproduce the issue:
Private code.
Version:
N/A
Relevant log output:
No response