public override void RefuteWrapper(Solver solver) { try { Refute(solver); } catch (ApplicationException /*e*/) { // TODO(user): Catch only fail exceptions. solver.ShouldFail(); } }
/** * This methods wraps the calls to next() and catches fail exceptions. */ public override void RunWrapper(Solver solver) { try { Run(solver); } catch (ApplicationException /*e*/) { // TODO(user): Check that this is indeed a fail. Try implementing // custom exceptions (hard). solver.ShouldFail(); } }
/** * This methods wraps the calls to Apply() and catches fail exceptions. * It currently catches all application exceptions. */ public override void ApplyWrapper(Solver solver) { try { Apply(solver); } catch (ApplicationException e) { // TODO(user): Catch only fail exceptions. solver.ShouldFail(); } }
/** * This methods wraps the calls to next() and catches fail exceptions. */ public override void RunWrapper(Solver solver) { try { Run(solver); } catch (ApplicationException e) { // TODO(lperron): Check that this is indeed a fail. Try implementing // custom exceptions (hard). solver.ShouldFail(); } }
public override void RefuteWrapper(Solver solver) { try { Refute(solver); } catch (ApplicationException e) { // TODO(user): Catch only fail exceptions. solver.ShouldFail(); } }