AwaitableEventGroup<T>.SetResult method

Transitions the underlying task into the RanToCompletion state.

public virtual void SetResult(T result)

parameter	description
result	The completed result object.

See Also

• class AwaitableEventGroup<T>
• namespace Microsoft.Coyote.Actors
• assembly Microsoft.Coyote.Actors