AwaitableEventGroup<T>.IsCanceled property
Value that indicates whether the task completed execution due to being canceled.
public bool IsCanceled { get; }
See Also
- class AwaitableEventGroup<T>
- namespace Microsoft.Coyote.Actors
- assembly Microsoft.Coyote.Actors