[Bug-Candidate]: Possible differences in addresses
Open
- Dominant language
- Solidity
- Stars
- 115
- Forks
- 6
- PR merge metrics
- No merged PRs in 30d
Description
### 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_
Contributor guide
Assessment
This issue has not been assessed yet.