crytic / echidna

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

Fix MVar issue #1281

Closed samalws-tob closed 1 week ago

samalws-tob commented 2 weeks ago

This writeBChan was getting stuck when echidna was ctrl-c'd in some circumstances, causing an MVar error. This PR replaces it with writeBChanNonBlocking. This may affect UI behavior in theory, but the queue size is 1000 so it should be fine.

May fix #1266, #1219, #1209