IRuntimeExtension.WaitUntilQuiescenceAsync method

Returns a task that completes once all operations managed by the extension reach quiescence.

public Task WaitUntilQuiescenceAsync()

See Also

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