AssertionFailureException class

The exception that is thrown by the Coyote runtime upon assertion failure.

public sealed class AssertionFailureException : RuntimeException

See Also

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