Microsoft.Coyote.Runtime namespace

public type description
class AssertionFailureException The exception that is thrown by the Coyote runtime upon assertion failure.
interface ICoyoteRuntime Interface that exposes base runtime methods for Coyote.
delegate OnFailureHandler Handles the OnFailure event.
class RuntimeException An exception that is thrown by the Coyote runtime.
static class RuntimeProvider Provides methods for creating or accessing a ICoyoteRuntime runtime.
static class SchedulingPoint Provides a set of static methods for declaring points in the execution where interleavings between operations should be explored during testing.