private SmtSolverHandler(
SmtContextHandler contextHandler,
ISolver smtSolver,
PathConditionHandler pathConditionHandler)
{
this.contextHandler = contextHandler;
this.smtSolver = smtSolver;
this.pathConditionHandler = pathConditionHandler;
}
public ExecutionModelCreator(
PathConditionHandler pathConditionHandler,
SmtContextHandler smtContextHandler,
IModel smtModel,
IHeapModelRecorder heapModelRecorder)
: base(pathConditionHandler)
{
this.smtContextHandler = smtContextHandler;
this.smtModel = smtModel;
this.heapModelRecorder = heapModelRecorder;
}
internal SmtSolverHandler(
SmtContextHandler contextHandler,
ISolver smtSolver,
Path path,
StartingNodeInfo startingNode,
ISymbolicHeapFactory heapFactory)
: this(
contextHandler,
smtSolver,
null)
{
var heap = heapFactory.Create(new SolverSymbolicHeapContext(this));
this.pathConditionHandler = new PathConditionHandler(contextHandler, smtSolver, path, startingNode, heap);
this.pathConditionHandler.ProcessStartingNode();
}
