| 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. |