Lessons learned from our engagement fuzzing the Corn protocol
i am using your Chimera suite but echidna keeps ignoring my blacklisted functions in the .yaml file; how do i blacklist some functions so that echidna would stop calling them randomly?
You can filter them this way:
https://secure-contracts.com/program-analysis/echidna/configuration.html#filterfunctions
Or if they are part of the Chimera Target Functions, just delete them or comment them out
i am using your Chimera suite but echidna keeps ignoring my blacklisted functions in the .yaml file; how do i blacklist some functions so that echidna would stop calling them randomly?
You can filter them this way:
https://secure-contracts.com/program-analysis/echidna/configuration.html#filterfunctions
Or if they are part of the Chimera Target Functions, just delete them or comment them out