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