samalws-tob

[Bug-Candidate]: Error when saving corpus for basic truffle project

4

### Describe the issue: Tried setting up a basic truffle project according to the [truffle guides](https://trufflesuite.com/guides/ultimate-guide-to-truffle-the-gateway-to-full-stack-blockchain-development/), then placing a basic echidna contract into the `contracts` folder: `mkdir metacoin; cd metacoin;...

Add symbolic execution

16

This PR is a continuation of #1030 and #1175. It adds a `symExec` configuration option which enables an extra symbolic execution worker, which runs alongside the existing fuzzing workers. This...

This fixes `stack build` via `nix develop` on my mac, which was previously failing due to "ld: library not found for -lsecp256k1". I'm mostly opening this PR to provide the...

Factors a few pieces of code out into separate functions to make it more readable

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

Fixes #1264