Operation.PauseUntil method

Pauses the currently executing operation until the specified condition gets resolved.

public static void PauseUntil(Func<bool> condition)

See Also

• class Operation
• namespace Microsoft.Coyote.Runtime
• assembly Microsoft.Coyote