Examples generated by the erroneous branch don't get included in spec
Allow user-specified solver in Repairman