Operation.PauseUntilCompleted method

Pauses the currently executing operation until the operation with the specified id completes.

public static void PauseUntilCompleted(ulong operationId)

See Also

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