Gayanov Marat

Results 1 issues of Gayanov Marat

Hello! Fuzzing contracts from `damn-vulnerable-defi-echidna` fails with message `Given contract not found in given file`, if there is any invalid contract in project. To reproduce: Project are clean, fuzzing works:...