search

crytic / echidna

Ethereum smart contract fuzzer
GNU Affero General Public License v3.0
2.64k stars 346 forks source link

[Bug-Candidate]: echidna: thread blocked indefinitely in an MVar operation #1219

Open rappie opened 3 months ago

rappie commented 3 months ago

Describe the issue:

Getting the following error when closing Echidna:

echidna: thread blocked indefinitely in an MVar operation

Code example to reproduce the issue:

Private

Version:

Echidna 2.2.3 (custom latest build from master)

Relevant log output:

No response

ggrieco-tob commented 3 months ago

Can you reproduce this consistently? We are very interested in getting this fixed since it is kind of a known issue but we don't have code to reproduce it.

rappie commented 3 months ago

Sadly i cannot reproduce it and the code is private :disappointed:

rappie commented 3 months ago

Duplicate: https://github.com/crytic/echidna/issues/1209

algobotishere commented 1 month ago

Running into this issue, can reproduce