Skip to content

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.

There are no closed issues in this milestone.

Issues will automatically be moved here when they are closed.