Operation.OnCompleted method

Notifies that the currently executing operation has completed.

public static void OnCompleted()

See Also

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