AwaitableEventGroup<T>.IsFaulted property
Value that indicates whether the task completed due to an unhandled exception.
public bool IsFaulted { get; }
See Also
- class AwaitableEventGroup<T>
- namespace Microsoft.Coyote.Actors
- assembly Microsoft.Coyote.Actors