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

[rappie]

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

[gustavo-grieco]

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]

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

[rappie]

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

[forkforkdog]

Running into this issue, can reproduce

[samalws-tob]

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

[gustavo-grieco]

Anyone can confirm this is still an issue?

[blablalf]

Anyone can confirm this is still an issue?

I still have this issue on the v2.2.4

[gustavo-grieco]

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

[blablalf]

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