C# (CSharp) Microsoft.PSharp.TestingServices ReplayEngine示例

示例#1

 /// <summary>
 /// Creates a new P# replay engine.
 /// </summary>
 public static ITestingEngine CreateReplayEngine(Configuration configuration, Action <IMachineRuntime> action)
 {
     return(ReplayEngine.Create(configuration, action));
 }

示例#2

 /// <summary>
 /// Creates a new P# replay engine.
 /// </summary>
 public static ITestingEngine CreateReplayEngine(Configuration configuration)
 {
     return(ReplayEngine.Create(configuration));
 }

示例#3

 /// <summary>
 /// Creates a new P# replay engine.
 /// </summary>
 public static ITestingEngine CreateReplayEngine(Configuration configuration, Assembly assembly)
 {
     return(ReplayEngine.Create(configuration, assembly));
 }

示例#4

文件： TestingEngineFactory.cs 项目： wxdtony/PSharp

 /// <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);
 }