ICoyoteRuntime.OnFailure event

Callback that is fired when an exception is thrown that includes failed assertions.

public event OnFailureHandler OnFailure;

See Also

• delegate OnFailureHandler
• interface ICoyoteRuntime
• namespace Microsoft.Coyote.Runtime
• assembly Microsoft.Coyote