Since we only evaluate the counter-example and a shrunk counter-example at that, we might be missing important branhces when using pre-computed fixes. So it's not neccessarily sound as a default optimization. We might alleviate this situation by considering more counter-examples than just the shrunk one from QuickCheck.
Since we only evaluate the counter-example and a shrunk counter-example at that, we might be missing important branhces when using pre-computed fixes. So it's not neccessarily sound as a default optimization. We might alleviate this situation by considering more counter-examples than just the shrunk one from QuickCheck.