-
Notifications
You must be signed in to change notification settings - Fork 30
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
feat: gitignore echidna corpus #72
Conversation
hmm, not 100% certain we should do this. Reusing corpus is a huge benefit of Echidna, as every time you run it, it will start by replaying the previously "interesting" sequence of transaction. On the other hand, I get the issue of ever growing corpus dir in a repo... We need a public good to compress/uncompress them (and only keep the latest coverage report) |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
let's do it for now but let's try to find a better solution in the long run
This reverts commit 6efcead.
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
i support keeping the corpus out of the repo bc:
- would add a LOT of changes each time
- would mean all devs and processes share the same corpus (instead of each making their own)
No description provided.