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