echidna icon indicating copy to clipboard operation
echidna copied to clipboard

Published 20 hours ago • verified publisher icon crytic

Fix MVar issue

Open samalws-tob opened this issue 7 months ago • 0 comments

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

samalws-tob avatar Jun 27 '24 18:06 samalws-tob