Open 0xalpharush opened 4 months ago
The unknown contract
is an issue in hevm traces, can you open an issue in their tracker?
Actually, it says:
Analyzing contract: /Users/alpharush/allContract.sol:T
but the language is confusing, it should be "Targeting contract". It also specifies which is the target in the call sequence (e.g. T.t()
) as well as the relevant source lines in the trace. What is failing is the identification of the naming of the contract in the create of the trace.
Describe the issue:
Running
echidna allContract.sol --test-mode assertion --contract T
fails to identify the other contract despite the source being available.As an aside, I think it is confusing that running
echidna allContract.sol --test-mode assertion
does not tell you which contract is selected as the target. It's a source of ambiguity/error that could be clarified (it seems to always pickO
)Code example to reproduce the issue:
Version:
2.2.3
Relevant log output: