Hi mates
recently i've been working on smart contract fuzz testing , using echidna
and i have got all of my invariants to be tested ready , but one issue left was the compliation error as :
Source "sp/compliance/Compliance.sol" not found: File not found. Searched the following locations: "".
All of the erros are of the same types though , except for the difference in files import names.
For fixing such issue , i tried to add configs in my yaml file , but this didn't work , i mean :
filterFunctions: ["EchidnaE2E.depositCallback(uint256,uint256,bytes)"]
Any echidna expert knows this ?