ICoyoteRuntime.Stop method

Terminates the runtime, causing any executing operations to eventually complete.

public void Stop()

See Also

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