RuntimeProvider.Current property

The runtime installed in the current execution context.

public static ICoyoteRuntime Current { get; }

See Also

• interface ICoyoteRuntime
• class RuntimeProvider
• namespace Microsoft.Coyote.Runtime
• assembly Microsoft.Coyote