TestingEngine.Create method (1 of 6)
Creates a new systematic testing engine.
public static TestingEngine Create(Configuration configuration, Action test)
See Also
- class TestingEngine
- namespace Microsoft.Coyote.SystematicTesting
- assembly Microsoft.Coyote.Test
TestingEngine.Create method (2 of 6)
Creates a new systematic testing engine.
public static TestingEngine Create(Configuration configuration, Action<IActorRuntime> test)
See Also
- class TestingEngine
- namespace Microsoft.Coyote.SystematicTesting
- assembly Microsoft.Coyote.Test
TestingEngine.Create method (3 of 6)
Creates a new systematic testing engine.
public static TestingEngine Create(Configuration configuration, Action<ICoyoteRuntime> test)
See Also
- class TestingEngine
- namespace Microsoft.Coyote.SystematicTesting
- assembly Microsoft.Coyote.Test
TestingEngine.Create method (4 of 6)
Creates a new systematic testing engine.
public static TestingEngine Create(Configuration configuration, Func<IActorRuntime, Task> test)
See Also
- class TestingEngine
- namespace Microsoft.Coyote.SystematicTesting
- assembly Microsoft.Coyote.Test
TestingEngine.Create method (5 of 6)
Creates a new systematic testing engine.
public static TestingEngine Create(Configuration configuration, Func<ICoyoteRuntime, Task> test)
See Also
- class TestingEngine
- namespace Microsoft.Coyote.SystematicTesting
- assembly Microsoft.Coyote.Test
TestingEngine.Create method (6 of 6)
Creates a new systematic testing engine.
public static TestingEngine Create(Configuration configuration, Func<Task> test)
See Also
- class TestingEngine
- namespace Microsoft.Coyote.SystematicTesting
- assembly Microsoft.Coyote.Test