Closed sambacha closed 1 year ago
Currently, we ignore
test/echidna/echidna-corpus/
Should we instead make this a vendored attribute -- meaning it wont show up on diffs at all, but will be persisted within the repo? Or should we persist it outside and just fetch it potentially during testing workflows?
Corpus can be persisted this in some fashion. I didn't think these files had any value if tests are all passing?
FYI: only 1 echidna test for ERC4626
We are doing this on ci.farm and @sutbot
Currently, we ignore
Should we instead make this a vendored attribute -- meaning it wont show up on diffs at all, but will be persisted within the repo? Or should we persist it outside and just fetch it potentially during testing workflows?