예제 #1
0
 /// <summary>
 /// Creates a new P# bug-finding engine.
 /// </summary>
 public static ITestingEngine CreateBugFindingEngine(
     Configuration configuration, Action <IMachineRuntime> action)
 {
     return(BugFindingEngine.Create(configuration, action));
 }
예제 #2
0
 /// <summary>
 /// Creates a new P# bug-finding engine.
 /// </summary>
 public static ITestingEngine CreateBugFindingEngine(Configuration configuration)
 {
     return(BugFindingEngine.Create(configuration));
 }
예제 #3
0
 /// <summary>
 /// Creates a new P# bug-finding engine.
 /// </summary>
 public static ITestingEngine CreateBugFindingEngine(
     Configuration configuration, Assembly assembly)
 {
     return(BugFindingEngine.Create(configuration, assembly));
 }
예제 #4
0
 /// <summary>
 /// Creates a new P# bug-finding engine.
 /// </summary>
 /// <param name="configuration">Configuration</param>
 /// <param name="action">Action</param>
 /// <returns>BugFindingEngine</returns>
 public static ITestingEngine CreateBugFindingEngine(
     Configuration configuration, Action<PSharpRuntime> action)
 {
     return BugFindingEngine.Create(configuration, action);
 }