SendOptions.MustHandle property

True if this event must always be handled, else false.

public bool MustHandle { get; }

See Also

• class SendOptions
• namespace Microsoft.Coyote.Actors
• assembly Microsoft.Coyote.Actors