[Bug-Candidate]: Echidna takes too long to exit #1124
Comments
|
I think we are duplicating the saving of the corpus, since all the entries should be saved on the fly. What do you think @samalws-tob ? |
|
Yeah I think that's true, although it shouldn't be too much of an issue since corpus saving doesn't take up a lot of time in the video |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Describe the issue:
I am running Echidna on a relatively small codebase, but it is taking too long to exit (around 45 seconds)
Initially, I thought it was due to the time spent saving the corpus, but after some measurements (
watch du echidna, to check for thecorpusDirsize), I believe that's not the case:Untitled.video.-.Made.with.Clipchamp.mp4
Seems like it's another cleanup process taking too long.
Also, if I Ctrl C, even after saving the corpus, the HTML will be empty.
Code example to reproduce the issue:
N/A
Version:
Echidna 2.2.1
slither 0.9.3 PR crytic/slither#2064
Relevant log output:
The text was updated successfully, but these errors were encountered: