AwaitableEventGroup<T>.Task property
Gets the task created by this AwaitableEventGroup.
public Task<T> Task { get; }
See Also
- class AwaitableEventGroup<T>
- namespace Microsoft.Coyote.Actors
- assembly Microsoft.Coyote.Actors
Gets the task created by this AwaitableEventGroup.
public Task<T> Task { get; }