Skip to content
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

Save inputs as soon as possible #1045

Closed
arcz opened this issue May 11, 2023 · 1 comment
Closed

Save inputs as soon as possible #1045

arcz opened this issue May 11, 2023 · 1 comment

Comments

@arcz
Copy link
Member

arcz commented May 11, 2023

We wait till the end of the campaign to dump reproducers/corpus to files. If Echidna crashes the information is most likely lost. Saving corpus also takes a considerable amount of time though I believe this is an issue on its own.

With the new event system, we can make it a lot better with the following:

  • Listen for TestFalsified/TestOptimized events and save reproducers
  • Listen for NewCoverage events and save corpus, this needs the call sequence to be added to NewCoverage event
  • Skip saving inputs that are replayed, NewCoverage is emitted during the replay, so this part most likely needs to look into the initial corpus to figure out if the input is already in there
  • Remove saving reproducers and corpus after the campaign in main
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

No branches or pull requests

2 participants