public static void PrepareFrame(BlockStmt body, ProofState state)
{
Contract.Requires <ArgumentNullException>(body != null, "body");
Contract.Requires <ArgumentNullException>(state != null, "state");
state.AddNewFrame(body);
// call the search engine
var search = new BaseSearchStrategy(state.TacticInfo.SearchStrategy, true);
search.Search(state, _errorReporterDelegate);
state.RemoveFrame();
}
public static void PrepareFrame(BlockStmt body, ProofState state) {
Contract.Requires<ArgumentNullException>(body != null, "body");
Contract.Requires<ArgumentNullException>(state != null, "state");
state.AddNewFrame(body);
// call the search engine
var search = new BaseSearchStrategy(state.TacticInfo.SearchStrategy, true);
search.Search(state, _errorReporterDelegate);
state.RemoveFrame();
}