crytic/echidna

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

rappie opened this issue · 9 comments

rappie commented

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

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

Sadly i cannot reproduce it and the code is private 😞

rappie commented

Duplicate: #1209

forkforkdog commented

Running into this issue, can reproduce

  • 👍1
samalws-tob commented

Anyone who's getting MVar errors: please run the catchMVarErrors branch on your codebase and tell me whether any "[MVar]: Error at ..." message appears before the normal "thread blocked indefinitely in an MVar operation" error message. This should help to pinpoint the cause of these problems

ggrieco-tob commented

Anyone can confirm this is still an issue?

blablalf commented

Anyone can confirm this is still an issue?

I still have this issue on the v2.2.4

ggrieco-tob commented

@blablalf can you try @samalws-tob 's suggestion using the catchMVarErrors branch?

  • 👍1
blablalf commented

@blablalf can you try @samalws-tob 's suggestion using the catchMVarErrors branch?

Unfortunately, I can't reproduce the error at the moment, but if I do, I'll try catchMVarErrors and let you know.

  • 👍1