Microsoft.Coyote.Runtime namespace

public type description
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.