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