You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
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 the corpusDir size), 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.
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 thecorpusDir
size), 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: