RuntimeProvider class

Provides methods for creating or accessing a ICoyoteRuntime runtime.

public static class RuntimeProvider

Public Members

name	description
static Current { get; }	The runtime installed in the current execution context.

See Also

• namespace Microsoft.Coyote.Runtime
• assembly Microsoft.Coyote