/// <summary> /// Creates a new P# replay engine. /// </summary> public static ITestingEngine CreateReplayEngine(Configuration configuration, Action <IMachineRuntime> action) { return(ReplayEngine.Create(configuration, action)); }
/// <summary> /// Creates a new P# replay engine. /// </summary> public static ITestingEngine CreateReplayEngine(Configuration configuration) { return(ReplayEngine.Create(configuration)); }
/// <summary> /// Creates a new P# replay engine. /// </summary> public static ITestingEngine CreateReplayEngine(Configuration configuration, Assembly assembly) { return(ReplayEngine.Create(configuration, assembly)); }
/// <summary> /// Creates a new P# replay engine. /// </summary> /// <param name="configuration">Configuration</param> /// <param name="action">Action</param> /// <returns>BugFindingEngine</returns> public static ITestingEngine CreateReplayEngine(Configuration configuration, Action<PSharpRuntime> action) { return ReplayEngine.Create(configuration, action); }