| class AssertionFailureException |
The exception that is thrown by the Coyote runtime upon assertion failure. |
| interface ICoyoteRuntime |
Interface that exposes base runtime methods for Coyote. |
| interface IOperationBuilder |
Interface of a controlled operation builder. |
| interface IRuntimeExtension |
Interface for a Coyote runtime extension. |
| interface IRuntimeLog |
Interface that allows an external module to track what is happening in the ICoyoteRuntime. |
| delegate OnFailureHandler |
Handles the OnFailure event. |
| static class Operation |
Provides a set of static methods for instrumenting concurrency primitives that can then be controlled during testing. |
| class RuntimeException |
An exception that is thrown by the Coyote runtime. |
| class RuntimeLogTextFormatter |
This class implements IRuntimeLog and generates output in a a human readable text format. |
| 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. |
| static class TaskServices |
Provides methods for interacting with tasks using the runtime. |