IRuntimeLog.OnAssertionFailure method

Invoked when the specified assertion failure has occurred.

public void OnAssertionFailure(string error)

parameter	description
error	The text of the error.

See Also

• interface IRuntimeLog
• namespace Microsoft.Coyote.Runtime
• assembly Microsoft.Coyote