C# (CSharp) AskTheCode.PathExploration ExecutionModel Examples

Example #1

 private ExplorationResult(
     ExplorationResultKind kind,
     ExecutionModel executionModel,
     PathCounterExample pathCounterExample)
 {
     this.Kind               = kind;
     this.ExecutionModel     = executionModel;
     this.PathCounterExample = pathCounterExample;
 }

Example #2

File: ExecutionModelEventArgs.cs Project: roberthusak/AskTheCode

 public ExecutionModelEventArgs(ExecutionModel executionModel)
 {
     this.ExecutionModel = executionModel;
 }

Example #3

 public static ExplorationResult CreateReachable(ExecutionModel executionModel)
 {
     return(new ExplorationResult(ExplorationResultKind.Reachable, executionModel, null));
 }