search

crytic / echidna

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

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

Closed algobotishere closed 1 week ago

algobotishere commented 1 month ago

Describe the issue:

After getting to the falsified assumption, echidna stuck on shrinking 0/5000. Only thing that helps is exit, and the message is echidna: thread blocked indefinitely in an MVar operation.

Issue is connected to this: https://github.com/crytic/echidna/issues/1219 and this: https://github.com/crytic/echidna/issues/1209

The difference is in a persistency of a bug.

Tried dev-ghc-9.6, and 2.2.1 without success.

Version:

2.2.3

ggrieco-tob commented 1 month ago

Do you have some code to reproduce this ?

algobotishere commented 1 month ago

Its a pretty big suit, can share in private