UnhandledEventException.UnhandledEvent field

The unhandled event.

public Event UnhandledEvent;

See Also

• class Event
• class UnhandledEventException
• namespace Microsoft.Coyote.Actors
• assembly Microsoft.Coyote.Actors