private ExplorationResult( ExplorationResultKind kind, ExecutionModel executionModel, PathCounterExample pathCounterExample) { this.Kind = kind; this.ExecutionModel = executionModel; this.PathCounterExample = pathCounterExample; }
public static ExplorationResult CreateUnreachable(PathCounterExample pathCounterExample) { return(new ExplorationResult(ExplorationResultKind.Unreachable, null, pathCounterExample)); }