public ExplorationContext(
IFlowGraphProvider flowGraphProvider,
IContextFactory smtContextFactory,
StartingNodeInfo startingNode)
: this(flowGraphProvider, smtContextFactory, startingNode, ExplorationOptions.Default)
{
}
public ExplorationContext(
IFlowGraphProvider flowGraphProvider,
IContextFactory smtContextFactory,
StartingNodeInfo startingNode,
ExplorationOptions options)
{
this.FlowGraphProvider = flowGraphProvider;
this.SmtContextFactory = smtContextFactory;
this.StartingNode = startingNode;
this.Options = options;
this.Options.FinalNodeRecognizer.FlowGraphProvider = flowGraphProvider;
}