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(); }