crytic / echidna

Ethereum smart contract fuzzer

Home Page:https://secure-contracts.com/program-analysis/echidna/index.html

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

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

rappie opened this issue · comments

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

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.

Sadly i cannot reproduce it and the code is private 😞

Duplicate: #1209

Running into this issue, can reproduce

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