Update collecting-a-corpus.md

[ojiubasi-motif]

"coverage" should also be set to 'true' in the config.yaml file for the corpus coverage to work

[CLAassistant]

All committers have signed the CLA.

[elopez]

Hi! This setting (coverage: true) is the default; there's no need to explicitly add it to the config.

[ojiubasi-motif]

Hi! This setting (coverage: true) is the default; there's no need to explicitly add it to the config.

https://github.com/crytic/echidna/blob/master/tests/solidity/basic/default.yaml
but the default config file sets "coverage" to false

[elopez]

That's an error in the sample file then :) the code sets it to enabled by default. It's also documented as default enabled here https://secure-contracts.com/program-analysis/echidna/configuration.html#coverage

[elopez]

Fixed in crytic/echidna#1429, thanks for bringing this to our attention!