/// <summary>
/// Creates a new P# bug-finding engine.
/// </summary>
public static ITestingEngine CreateBugFindingEngine(
Configuration configuration, Action <IMachineRuntime> action)
{
return(BugFindingEngine.Create(configuration, action));
}
/// <summary>
/// Creates a new P# bug-finding engine.
/// </summary>
public static ITestingEngine CreateBugFindingEngine(Configuration configuration)
{
return(BugFindingEngine.Create(configuration));
}
/// <summary>
/// Creates a new P# bug-finding engine.
/// </summary>
public static ITestingEngine CreateBugFindingEngine(
Configuration configuration, Assembly assembly)
{
return(BugFindingEngine.Create(configuration, assembly));
}
/// <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);
}