OnFailureHandler delegate

Handles the OnFailure event.

public delegate void OnFailureHandler(Exception ex);

See Also

• namespace Microsoft.Coyote.Runtime
• assembly Microsoft.Coyote