Release 0.1.9: Improve value generation and breadth of coverage
Past due by about 2 months
0% complete
This release should ensure that we can capture the same coverage as echidna. Additionally, we should replace the go-ethereum
ABI API and replace it with our own. This will speed up value generation (no reflection), improve call sequence generation, and allow us to support external libraries.