RuntimeLogTextFormatter.OnAssertionFailure method

Invoked when the specified assertion failure has occurred.

public virtual void OnAssertionFailure(string error)

parameter	description
error	The text of the error.

See Also

• class RuntimeLogTextFormatter
• namespace Microsoft.Coyote.Runtime
• assembly Microsoft.Coyote