|The exception that is thrown by the Coyote runtime upon assertion failure.
|Interface that exposes base runtime methods for Coyote.
|Interface of a controlled operation builder.
|Interface for a Coyote runtime extension.
|Interface that allows an external module to track what is happening in the
|static class Operation
|Provides a set of static methods for instrumenting concurrency primitives that can then be controlled during testing.
|An exception that is thrown by the Coyote runtime.
|This class implements
IRuntimeLog and generates output in a a human readable text format.
|static class RuntimeProvider
|Provides methods for creating or accessing a
|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.