This repository was archived by the owner on Aug 24, 2021. It is now read-only.

Milestones

Simplification process rework
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`.
Overdue by 5 year(s)
•
Due by February 18, 2021
•0/4 issues closed
0% complete4 open 0 closed