Skip to content
This repository has been archived by the owner on Aug 24, 2021. It is now read-only.
New issue

Simplification process rework

Past due by almost 4 years 0% complete

This milestone focuses on reworking how the simplification process (aka shrinking) is implemented using a Rose-Tree so that Fuzzer will be able to support map andThen and filter.

There are no closed issues in this milestone.

Issues will automatically be moved here when they are closed.