Operation.PauseUntilCompletedAsync method
Asynchronously pauses the currently executing operation until the operation with the specified id completes. If resumeAsynchronously is set to true, then after the asynchronous pause, a new operation will be created to execute the continuation.
public static PausedOperationAwaitable PauseUntilCompletedAsync(ulong operationId,
bool resumeAsynchronously = false)
See Also
- class Operation
- namespace Microsoft.Coyote.Runtime
- assembly Microsoft.Coyote