* introduce explicit type for tracking test results
This is in preparation for adding a new constructor to
track "untestable" results.
Fine.
* introduce an explicit type to express the result of a strategy
This is a bit of a brute-force/dumb refactoring to begin with.
I like it. Factoring this out from the later changes eases review.
* rename BisectState to BisectProgress
Fine, new name is more specific.
|