Skip to content

[Bug-Candidate]: Echidna takes too long to exit #1124

@aviggiano

Description

@aviggiano

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 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.

Code example to reproduce the issue:

N/A

Version:

Echidna 2.2.1
slither 0.9.3 PR crytic/slither#2064

Relevant log output:

N/A

Metadata

Metadata

Assignees

No one assigned

    Labels

    No labels
    No labels

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions