Microsoft.Coyote namespace

public type description
class Configuration The Coyote project configurations.
abstract class Event Abstract class representing an event.
class ExecutionCanceledException Exception that is thrown upon cancellation of testing execution by the runtime.
class RuntimeException An exception that is thrown by the Coyote runtime.