mkdocs.yml

site_name: Coyote
site_url: https://microsoft.github.io/coyote/
repo_url: https://github.com/microsoft/coyote/
theme:
  name: null
  custom_dir: docs/windmill_dark
  static_templates:
  - 404.html
  include_search_page: true
  search_index_only: true
  history_buttons: true
  article_nav_top: true
  article_nav_bottom: true
  highlightjs: true
  features:
  - search.highlight
markdown_extensions:
- smarty
extra_css:
- css/main.css
- css/player-controls.css
- css/syntax.css
extra_javascript:
- https://www.googletagmanager.com/gtag/js?id=UA-89203408-1
- https://consentdeliveryfd.azurefd.net/mscc/lib/v2/wcp-consent.js
- assets/js/analytics.js
- assets/js/plugins.js
- assets/js/animate_trace.js
- assets/js/animation.js
- assets/js/progress_bar.js
- assets/js/trace_model.js
- assets/js/main.js
plugins:
- search
- macros:
    include_dir: docs/include
extra:
  social:
  - icon: fontawesome/brands/github
    link: https://github.com/microsoft/coyote
  generator: false
  base_url: /coyote/
nav:
- Home: index.md
- Overview:
  - Key benefits: overview/benefits.md
  - How does it work: overview/how.md
  - Frequently asked questions: overview/faq.md
  - Videos: overview/videos.md
  - Publications: overview/publications.md
- Get started with Coyote:
  - Installing Coyote: get-started/install.md
  - Using Coyote: get-started/using-coyote.md
  - Building the source code: get-started/build-source.md
- Case studies:
  - Azure Batch Service: case-studies/azure-batch-service.md
  - Azure Blockchain Service: case-studies/azure-blockchain-service.md
  - Azure Blockchain Workbench: case-studies/azure-blockchain-workbench.md
- Concepts:
  - Program non-determinism: concepts/non-determinism.md
  - Concurrency unit testing: concepts/concurrency-unit-testing.md
  - Binary rewriting for systematic testing: concepts/binary-rewriting.md
  - Program specifications: concepts/specifications.md
  - Effective liveness checking: concepts/liveness-checking.md
- Advanced topics:
  - Improving coverage of interleavings: advanced-topics/interleavings.md
  - Actors and state machines:
    - Overview: advanced-topics/actors/overview.md
    - State machines: advanced-topics/actors/state-machines.md
    - Actor semantics: advanced-topics/actors/actor-semantics.md
    - Actor termination: advanced-topics/actors/termination.md
    - Using timers in actors: advanced-topics/actors/timers.md
    - Event groups: advanced-topics/actors/event-groups.md
    - Semantics of unhandled exceptions: advanced-topics/actors/uncaught-exceptions.md
    - Sharing objects: advanced-topics/actors/sharing-objects.md
    - Logging: advanced-topics/actors/logging.md
    - State machine demo: advanced-topics/actors/state-machine-demo.md
    - Why Coyote actors?: advanced-topics/actors/why-actors.md
- Tutorials and samples:
  - Write your first concurrency unit test: tutorials/first-concurrency-unit-test.md
  - Test concurrent CRUD operations: tutorials/test-concurrent-operations.md
  - Deadlock in bounded-buffer: tutorials/bounded-buffer.md
  - Coffee machine failover: tutorials/failover-coffee-machine.md
  - Testing an ASP.NET service: tutorials/testing-aspnet-service.md
  - Actors and state machines:
    - Hello world: tutorials/actors/hello-world.md
    - Coffee machine failover: tutorials/actors/failover-coffee-machine.md
    - Robot navigator failover: tutorials/actors/failover-robot-navigator.md
    - Raft actor service (on Azure): tutorials/actors/raft-azure.md
    - Raft actor service (mocked): tutorials/actors/raft-mocking.md
- Tools:
  - Testing: tools/testing.md
  - Rewriting tool: tools/rewriting.md
  - Unit testing: tools/unit-testing.md
  - Tester requirements: tools/tester-requirements.md
  - Code and activity coverage: tools/coverage.md
  - DGML diagrams: tools/dgml.md
  - Telemetry: tools/telemetry.md
- API documentation:
  - Microsoft.Coyote:
    - Overview: ref/Microsoft.Coyote.md
    - Microsoft.Coyote:
      - Namespace Overview: ref/Microsoft.CoyoteNamespace.md
      - Event:
        - Overview: ref/Microsoft.Coyote/Event.md
        - Event: ref/Microsoft.Coyote/Event/Event.md
      - Configuration:
        - Overview: ref/Microsoft.Coyote/Configuration.md
        - Create: ref/Microsoft.Coyote/Configuration/Create.md
        - WithRandomStrategy: ref/Microsoft.Coyote/Configuration/WithRandomStrategy.md
        - WithProbabilisticStrategy: ref/Microsoft.Coyote/Configuration/WithProbabilisticStrategy.md
        - WithPCTStrategy: ref/Microsoft.Coyote/Configuration/WithPCTStrategy.md
        - WithReplayStrategy: ref/Microsoft.Coyote/Configuration/WithReplayStrategy.md
        - WithTestingIterations: ref/Microsoft.Coyote/Configuration/WithTestingIterations.md
        - WithTestingTimeout: ref/Microsoft.Coyote/Configuration/WithTestingTimeout.md
        - WithMaxSchedulingSteps: ref/Microsoft.Coyote/Configuration/WithMaxSchedulingSteps.md
        - WithPartiallyControlledTestingEnabled: ref/Microsoft.Coyote/Configuration/WithPartiallyControlledTestingEnabled.md
        - WithLivenessTemperatureThreshold: ref/Microsoft.Coyote/Configuration/WithLivenessTemperatureThreshold.md
        - WithTimeoutDelay: ref/Microsoft.Coyote/Configuration/WithTimeoutDelay.md
        - WithRandomGeneratorSeed: ref/Microsoft.Coyote/Configuration/WithRandomGeneratorSeed.md
        - WithVerbosityEnabled: ref/Microsoft.Coyote/Configuration/WithVerbosityEnabled.md
        - WithActivityCoverageEnabled: ref/Microsoft.Coyote/Configuration/WithActivityCoverageEnabled.md
        - WithDgmlGraphEnabled: ref/Microsoft.Coyote/Configuration/WithDgmlGraphEnabled.md
        - WithXmlLogEnabled: ref/Microsoft.Coyote/Configuration/WithXmlLogEnabled.md
        - WithTelemetryEnabled: ref/Microsoft.Coyote/Configuration/WithTelemetryEnabled.md
        - Configuration: ref/Microsoft.Coyote/Configuration/Configuration.md
        - SchedulingStrategy: ref/Microsoft.Coyote/Configuration/SchedulingStrategy.md
        - TestingIterations: ref/Microsoft.Coyote/Configuration/TestingIterations.md
        - RandomGeneratorSeed: ref/Microsoft.Coyote/Configuration/RandomGeneratorSeed.md
        - MaxUnfairSchedulingSteps: ref/Microsoft.Coyote/Configuration/MaxUnfairSchedulingSteps.md
        - MaxFairSchedulingSteps: ref/Microsoft.Coyote/Configuration/MaxFairSchedulingSteps.md
        - StrategyBound: ref/Microsoft.Coyote/Configuration/StrategyBound.md
        - TimeoutDelay: ref/Microsoft.Coyote/Configuration/TimeoutDelay.md
        - LivenessTemperatureThreshold: ref/Microsoft.Coyote/Configuration/LivenessTemperatureThreshold.md
        - IsVerbose: ref/Microsoft.Coyote/Configuration/IsVerbose.md
        - LogLevel: ref/Microsoft.Coyote/Configuration/LogLevel.md
        - ReportActivityCoverage: ref/Microsoft.Coyote/Configuration/ReportActivityCoverage.md
        - IsDgmlGraphEnabled: ref/Microsoft.Coyote/Configuration/IsDgmlGraphEnabled.md
        - IsXmlLogEnabled: ref/Microsoft.Coyote/Configuration/IsXmlLogEnabled.md
      - ExecutionCanceledException: ref/Microsoft.Coyote/ExecutionCanceledException.md
      - RuntimeException:
        - Overview: ref/Microsoft.Coyote/RuntimeException.md
        - RuntimeException: ref/Microsoft.Coyote/RuntimeException/RuntimeException.md
    - Microsoft.Coyote.Actors:
      - Namespace Overview: ref/Microsoft.Coyote.ActorsNamespace.md
      - Actor:
        - Overview: ref/Microsoft.Coyote.Actors/Actor.md
        - CreateActor: ref/Microsoft.Coyote.Actors/Actor/CreateActor.md
        - SendEvent: ref/Microsoft.Coyote.Actors/Actor/SendEvent.md
        - ReceiveEventAsync: ref/Microsoft.Coyote.Actors/Actor/ReceiveEventAsync.md
        - StartTimer: ref/Microsoft.Coyote.Actors/Actor/StartTimer.md
        - StartPeriodicTimer: ref/Microsoft.Coyote.Actors/Actor/StartPeriodicTimer.md
        - StopTimer: ref/Microsoft.Coyote.Actors/Actor/StopTimer.md
        - RandomBoolean: ref/Microsoft.Coyote.Actors/Actor/RandomBoolean.md
        - RandomInteger: ref/Microsoft.Coyote.Actors/Actor/RandomInteger.md
        - Monitor: ref/Microsoft.Coyote.Actors/Actor/Monitor.md
        - Assert: ref/Microsoft.Coyote.Actors/Actor/Assert.md
        - RaiseHaltEvent: ref/Microsoft.Coyote.Actors/Actor/RaiseHaltEvent.md
        - OnInitializeAsync: ref/Microsoft.Coyote.Actors/Actor/OnInitializeAsync.md
        - OnEventDequeuedAsync: ref/Microsoft.Coyote.Actors/Actor/OnEventDequeuedAsync.md
        - OnEventIgnored: ref/Microsoft.Coyote.Actors/Actor/OnEventIgnored.md
        - OnEventDeferred: ref/Microsoft.Coyote.Actors/Actor/OnEventDeferred.md
        - OnEventHandledAsync: ref/Microsoft.Coyote.Actors/Actor/OnEventHandledAsync.md
        - OnEventUnhandledAsync: ref/Microsoft.Coyote.Actors/Actor/OnEventUnhandledAsync.md
        - OnExceptionHandledAsync: ref/Microsoft.Coyote.Actors/Actor/OnExceptionHandledAsync.md
        - OnHaltAsync: ref/Microsoft.Coyote.Actors/Actor/OnHaltAsync.md
        - OnException: ref/Microsoft.Coyote.Actors/Actor/OnException.md
        - Equals: ref/Microsoft.Coyote.Actors/Actor/Equals.md
        - GetHashCode: ref/Microsoft.Coyote.Actors/Actor/GetHashCode.md
        - ToString: ref/Microsoft.Coyote.Actors/Actor/ToString.md
        - Actor: ref/Microsoft.Coyote.Actors/Actor/Actor.md
        - Id: ref/Microsoft.Coyote.Actors/Actor/Id.md
        - CurrentEventGroup: ref/Microsoft.Coyote.Actors/Actor/CurrentEventGroup.md
        - Logger: ref/Microsoft.Coyote.Actors/Actor/Logger.md
        - HashedState: ref/Microsoft.Coyote.Actors/Actor/HashedState.md
      - ActorId:
        - Overview: ref/Microsoft.Coyote.Actors/ActorId.md
        - Equals: ref/Microsoft.Coyote.Actors/ActorId/Equals.md
        - GetHashCode: ref/Microsoft.Coyote.Actors/ActorId/GetHashCode.md
        - ToString: ref/Microsoft.Coyote.Actors/ActorId/ToString.md
        - CompareTo: ref/Microsoft.Coyote.Actors/ActorId/CompareTo.md
        - Runtime: ref/Microsoft.Coyote.Actors/ActorId/Runtime.md
        - IsNameUsedForHashing: ref/Microsoft.Coyote.Actors/ActorId/IsNameUsedForHashing.md
        - Value: ref/Microsoft.Coyote.Actors/ActorId/Value.md
        - NameValue: ref/Microsoft.Coyote.Actors/ActorId/NameValue.md
        - Type: ref/Microsoft.Coyote.Actors/ActorId/Type.md
        - Name: ref/Microsoft.Coyote.Actors/ActorId/Name.md
      - AwaitableEventGroup<T>:
        - Overview: ref/Microsoft.Coyote.Actors/AwaitableEventGroup-1.md
        - SetResult: ref/Microsoft.Coyote.Actors/AwaitableEventGroup-1/SetResult.md
        - TrySetResult: ref/Microsoft.Coyote.Actors/AwaitableEventGroup-1/TrySetResult.md
        - SetCancelled: ref/Microsoft.Coyote.Actors/AwaitableEventGroup-1/SetCancelled.md
        - TrySetCanceled: ref/Microsoft.Coyote.Actors/AwaitableEventGroup-1/TrySetCanceled.md
        - SetException: ref/Microsoft.Coyote.Actors/AwaitableEventGroup-1/SetException.md
        - TrySetException: ref/Microsoft.Coyote.Actors/AwaitableEventGroup-1/TrySetException.md
        - GetAwaiter: ref/Microsoft.Coyote.Actors/AwaitableEventGroup-1/GetAwaiter.md
        - AwaitableEventGroup: ref/Microsoft.Coyote.Actors/AwaitableEventGroup-1/AwaitableEventGroup.md
        - Task: ref/Microsoft.Coyote.Actors/AwaitableEventGroup-1/Task.md
        - IsCompleted: ref/Microsoft.Coyote.Actors/AwaitableEventGroup-1/IsCompleted.md
        - IsCanceled: ref/Microsoft.Coyote.Actors/AwaitableEventGroup-1/IsCanceled.md
        - IsFaulted: ref/Microsoft.Coyote.Actors/AwaitableEventGroup-1/IsFaulted.md
      - DefaultEvent:
        - Overview: ref/Microsoft.Coyote.Actors/DefaultEvent.md
        - Instance: ref/Microsoft.Coyote.Actors/DefaultEvent/Instance.md
      - EventGroup:
        - Overview: ref/Microsoft.Coyote.Actors/EventGroup.md
        - EventGroup: ref/Microsoft.Coyote.Actors/EventGroup/EventGroup.md
        - Id: ref/Microsoft.Coyote.Actors/EventGroup/Id.md
        - Name: ref/Microsoft.Coyote.Actors/EventGroup/Name.md
        - '': ref/Microsoft.Coyote.Actors/EventGroup/Null.md
      - HaltEvent:
        - Overview: ref/Microsoft.Coyote.Actors/HaltEvent.md
        - Instance: ref/Microsoft.Coyote.Actors/HaltEvent/Instance.md
      - WildCardEvent:
        - Overview: ref/Microsoft.Coyote.Actors/WildCardEvent.md
        - WildCardEvent: ref/Microsoft.Coyote.Actors/WildCardEvent/WildCardEvent.md
      - OnEventDroppedHandler: ref/Microsoft.Coyote.Actors/OnEventDroppedHandler.md
      - OnExceptionOutcome: ref/Microsoft.Coyote.Actors/OnExceptionOutcome.md
      - UnhandledEventException:
        - Overview: ref/Microsoft.Coyote.Actors/UnhandledEventException.md
        - UnhandledEvent: ref/Microsoft.Coyote.Actors/UnhandledEventException/UnhandledEvent.md
        - CurrentStateName: ref/Microsoft.Coyote.Actors/UnhandledEventException/CurrentStateName.md
      - IActorRuntime:
        - Overview: ref/Microsoft.Coyote.Actors/IActorRuntime.md
        - CreateActorId: ref/Microsoft.Coyote.Actors/IActorRuntime/CreateActorId.md
        - CreateActorIdFromName: ref/Microsoft.Coyote.Actors/IActorRuntime/CreateActorIdFromName.md
        - CreateActor: ref/Microsoft.Coyote.Actors/IActorRuntime/CreateActor.md
        - SendEvent: ref/Microsoft.Coyote.Actors/IActorRuntime/SendEvent.md
        - GetCurrentEventGroup: ref/Microsoft.Coyote.Actors/IActorRuntime/GetCurrentEventGroup.md
        - RegisterLog: ref/Microsoft.Coyote.Actors/IActorRuntime/RegisterLog.md
        - RemoveLog: ref/Microsoft.Coyote.Actors/IActorRuntime/RemoveLog.md
        - OnEventDropped: ref/Microsoft.Coyote.Actors/IActorRuntime/OnEventDropped.md
      - ActorRuntimeLogTextFormatter:
        - Overview: ref/Microsoft.Coyote.Actors/ActorRuntimeLogTextFormatter.md
        - OnAssertionFailure: ref/Microsoft.Coyote.Actors/ActorRuntimeLogTextFormatter/OnAssertionFailure.md
        - OnCreateActor: ref/Microsoft.Coyote.Actors/ActorRuntimeLogTextFormatter/OnCreateActor.md
        - OnCreateStateMachine: ref/Microsoft.Coyote.Actors/ActorRuntimeLogTextFormatter/OnCreateStateMachine.md
        - OnCreateMonitor: ref/Microsoft.Coyote.Actors/ActorRuntimeLogTextFormatter/OnCreateMonitor.md
        - OnCreateTimer: ref/Microsoft.Coyote.Actors/ActorRuntimeLogTextFormatter/OnCreateTimer.md
        - OnDefaultEventHandler: ref/Microsoft.Coyote.Actors/ActorRuntimeLogTextFormatter/OnDefaultEventHandler.md
        - OnDequeueEvent: ref/Microsoft.Coyote.Actors/ActorRuntimeLogTextFormatter/OnDequeueEvent.md
        - OnEnqueueEvent: ref/Microsoft.Coyote.Actors/ActorRuntimeLogTextFormatter/OnEnqueueEvent.md
        - OnExceptionHandled: ref/Microsoft.Coyote.Actors/ActorRuntimeLogTextFormatter/OnExceptionHandled.md
        - OnExceptionThrown: ref/Microsoft.Coyote.Actors/ActorRuntimeLogTextFormatter/OnExceptionThrown.md
        - OnExecuteAction: ref/Microsoft.Coyote.Actors/ActorRuntimeLogTextFormatter/OnExecuteAction.md
        - OnGotoState: ref/Microsoft.Coyote.Actors/ActorRuntimeLogTextFormatter/OnGotoState.md
        - OnHalt: ref/Microsoft.Coyote.Actors/ActorRuntimeLogTextFormatter/OnHalt.md
        - OnHandleRaisedEvent: ref/Microsoft.Coyote.Actors/ActorRuntimeLogTextFormatter/OnHandleRaisedEvent.md
        - OnMonitorExecuteAction: ref/Microsoft.Coyote.Actors/ActorRuntimeLogTextFormatter/OnMonitorExecuteAction.md
        - OnMonitorProcessEvent: ref/Microsoft.Coyote.Actors/ActorRuntimeLogTextFormatter/OnMonitorProcessEvent.md
        - OnMonitorRaiseEvent: ref/Microsoft.Coyote.Actors/ActorRuntimeLogTextFormatter/OnMonitorRaiseEvent.md
        - OnMonitorStateTransition: ref/Microsoft.Coyote.Actors/ActorRuntimeLogTextFormatter/OnMonitorStateTransition.md
        - OnMonitorError: ref/Microsoft.Coyote.Actors/ActorRuntimeLogTextFormatter/OnMonitorError.md
        - OnPopState: ref/Microsoft.Coyote.Actors/ActorRuntimeLogTextFormatter/OnPopState.md
        - OnPopStateUnhandledEvent: ref/Microsoft.Coyote.Actors/ActorRuntimeLogTextFormatter/OnPopStateUnhandledEvent.md
        - OnPushState: ref/Microsoft.Coyote.Actors/ActorRuntimeLogTextFormatter/OnPushState.md
        - OnRaiseEvent: ref/Microsoft.Coyote.Actors/ActorRuntimeLogTextFormatter/OnRaiseEvent.md
        - OnReceiveEvent: ref/Microsoft.Coyote.Actors/ActorRuntimeLogTextFormatter/OnReceiveEvent.md
        - OnSendEvent: ref/Microsoft.Coyote.Actors/ActorRuntimeLogTextFormatter/OnSendEvent.md
        - OnStateTransition: ref/Microsoft.Coyote.Actors/ActorRuntimeLogTextFormatter/OnStateTransition.md
        - OnStopTimer: ref/Microsoft.Coyote.Actors/ActorRuntimeLogTextFormatter/OnStopTimer.md
        - OnStrategyDescription: ref/Microsoft.Coyote.Actors/ActorRuntimeLogTextFormatter/OnStrategyDescription.md
        - OnWaitEvent: ref/Microsoft.Coyote.Actors/ActorRuntimeLogTextFormatter/OnWaitEvent.md
        - OnRandom: ref/Microsoft.Coyote.Actors/ActorRuntimeLogTextFormatter/OnRandom.md
        - OnCompleted: ref/Microsoft.Coyote.Actors/ActorRuntimeLogTextFormatter/OnCompleted.md
        - ActorRuntimeLogTextFormatter: ref/Microsoft.Coyote.Actors/ActorRuntimeLogTextFormatter/ActorRuntimeLogTextFormatter.md
        - Logger: ref/Microsoft.Coyote.Actors/ActorRuntimeLogTextFormatter/Logger.md
      - IActorRuntimeLog:
        - Overview: ref/Microsoft.Coyote.Actors/IActorRuntimeLog.md
        - OnCreateActor: ref/Microsoft.Coyote.Actors/IActorRuntimeLog/OnCreateActor.md
        - OnCreateStateMachine: ref/Microsoft.Coyote.Actors/IActorRuntimeLog/OnCreateStateMachine.md
        - OnExecuteAction: ref/Microsoft.Coyote.Actors/IActorRuntimeLog/OnExecuteAction.md
        - OnSendEvent: ref/Microsoft.Coyote.Actors/IActorRuntimeLog/OnSendEvent.md
        - OnRaiseEvent: ref/Microsoft.Coyote.Actors/IActorRuntimeLog/OnRaiseEvent.md
        - OnEnqueueEvent: ref/Microsoft.Coyote.Actors/IActorRuntimeLog/OnEnqueueEvent.md
        - OnDequeueEvent: ref/Microsoft.Coyote.Actors/IActorRuntimeLog/OnDequeueEvent.md
        - OnReceiveEvent: ref/Microsoft.Coyote.Actors/IActorRuntimeLog/OnReceiveEvent.md
        - OnWaitEvent: ref/Microsoft.Coyote.Actors/IActorRuntimeLog/OnWaitEvent.md
        - OnStateTransition: ref/Microsoft.Coyote.Actors/IActorRuntimeLog/OnStateTransition.md
        - OnGotoState: ref/Microsoft.Coyote.Actors/IActorRuntimeLog/OnGotoState.md
        - OnPushState: ref/Microsoft.Coyote.Actors/IActorRuntimeLog/OnPushState.md
        - OnPopState: ref/Microsoft.Coyote.Actors/IActorRuntimeLog/OnPopState.md
        - OnDefaultEventHandler: ref/Microsoft.Coyote.Actors/IActorRuntimeLog/OnDefaultEventHandler.md
        - OnHalt: ref/Microsoft.Coyote.Actors/IActorRuntimeLog/OnHalt.md
        - OnHandleRaisedEvent: ref/Microsoft.Coyote.Actors/IActorRuntimeLog/OnHandleRaisedEvent.md
        - OnPopStateUnhandledEvent: ref/Microsoft.Coyote.Actors/IActorRuntimeLog/OnPopStateUnhandledEvent.md
        - OnExceptionThrown: ref/Microsoft.Coyote.Actors/IActorRuntimeLog/OnExceptionThrown.md
        - OnExceptionHandled: ref/Microsoft.Coyote.Actors/IActorRuntimeLog/OnExceptionHandled.md
        - OnCreateTimer: ref/Microsoft.Coyote.Actors/IActorRuntimeLog/OnCreateTimer.md
        - OnStopTimer: ref/Microsoft.Coyote.Actors/IActorRuntimeLog/OnStopTimer.md
        - OnCreateMonitor: ref/Microsoft.Coyote.Actors/IActorRuntimeLog/OnCreateMonitor.md
        - OnMonitorExecuteAction: ref/Microsoft.Coyote.Actors/IActorRuntimeLog/OnMonitorExecuteAction.md
        - OnMonitorProcessEvent: ref/Microsoft.Coyote.Actors/IActorRuntimeLog/OnMonitorProcessEvent.md
        - OnMonitorRaiseEvent: ref/Microsoft.Coyote.Actors/IActorRuntimeLog/OnMonitorRaiseEvent.md
        - OnMonitorStateTransition: ref/Microsoft.Coyote.Actors/IActorRuntimeLog/OnMonitorStateTransition.md
        - OnMonitorError: ref/Microsoft.Coyote.Actors/IActorRuntimeLog/OnMonitorError.md
        - OnRandom: ref/Microsoft.Coyote.Actors/IActorRuntimeLog/OnRandom.md
        - OnAssertionFailure: ref/Microsoft.Coyote.Actors/IActorRuntimeLog/OnAssertionFailure.md
        - OnStrategyDescription: ref/Microsoft.Coyote.Actors/IActorRuntimeLog/OnStrategyDescription.md
        - OnCompleted: ref/Microsoft.Coyote.Actors/IActorRuntimeLog/OnCompleted.md
      - RuntimeFactory:
        - Overview: ref/Microsoft.Coyote.Actors/RuntimeFactory.md
        - Create: ref/Microsoft.Coyote.Actors/RuntimeFactory/Create.md
      - SendOptions:
        - Overview: ref/Microsoft.Coyote.Actors/SendOptions.md
        - ToString: ref/Microsoft.Coyote.Actors/SendOptions/ToString.md
        - SendOptions: ref/Microsoft.Coyote.Actors/SendOptions/SendOptions.md
        - Default: ref/Microsoft.Coyote.Actors/SendOptions/Default.md
        - MustHandle: ref/Microsoft.Coyote.Actors/SendOptions/MustHandle.md
        - Assert: ref/Microsoft.Coyote.Actors/SendOptions/Assert.md
        - HashedState: ref/Microsoft.Coyote.Actors/SendOptions/HashedState.md
      - StateMachine:
        - Overview: ref/Microsoft.Coyote.Actors/StateMachine.md
        - RaiseEvent: ref/Microsoft.Coyote.Actors/StateMachine/RaiseEvent.md
        - RaiseGotoStateEvent: ref/Microsoft.Coyote.Actors/StateMachine/RaiseGotoStateEvent.md
        - RaisePushStateEvent: ref/Microsoft.Coyote.Actors/StateMachine/RaisePushStateEvent.md
        - RaisePopStateEvent: ref/Microsoft.Coyote.Actors/StateMachine/RaisePopStateEvent.md
        - RaiseHaltEvent: ref/Microsoft.Coyote.Actors/StateMachine/RaiseHaltEvent.md
        - OnEventHandledAsync: ref/Microsoft.Coyote.Actors/StateMachine/OnEventHandledAsync.md
        - StateMachine: ref/Microsoft.Coyote.Actors/StateMachine/StateMachine.md
        - CurrentState: ref/Microsoft.Coyote.Actors/StateMachine/CurrentState.md
      - Actor.OnEventDoActionAttribute:
        - Overview: ref/Microsoft.Coyote.Actors/Actor.OnEventDoActionAttribute.md
        - OnEventDoActionAttribute: ref/Microsoft.Coyote.Actors/Actor.OnEventDoActionAttribute/OnEventDoActionAttribute.md
      - StateMachine.State:
        - Overview: ref/Microsoft.Coyote.Actors/StateMachine.State.md
        - State: ref/Microsoft.Coyote.Actors/StateMachine.State/State.md
      - StateMachine.StateGroup:
        - Overview: ref/Microsoft.Coyote.Actors/StateMachine.StateGroup.md
        - StateGroup: ref/Microsoft.Coyote.Actors/StateMachine.StateGroup/StateGroup.md
      - StateMachine.State.StartAttribute:
        - Overview: ref/Microsoft.Coyote.Actors/StateMachine.State.StartAttribute.md
        - StartAttribute: ref/Microsoft.Coyote.Actors/StateMachine.State.StartAttribute/StartAttribute.md
      - StateMachine.State.OnEntryAttribute:
        - Overview: ref/Microsoft.Coyote.Actors/StateMachine.State.OnEntryAttribute.md
        - OnEntryAttribute: ref/Microsoft.Coyote.Actors/StateMachine.State.OnEntryAttribute/OnEntryAttribute.md
      - StateMachine.State.OnExitAttribute:
        - Overview: ref/Microsoft.Coyote.Actors/StateMachine.State.OnExitAttribute.md
        - OnExitAttribute: ref/Microsoft.Coyote.Actors/StateMachine.State.OnExitAttribute/OnExitAttribute.md
      - StateMachine.State.OnEventGotoStateAttribute:
        - Overview: ref/Microsoft.Coyote.Actors/StateMachine.State.OnEventGotoStateAttribute.md
        - OnEventGotoStateAttribute: ref/Microsoft.Coyote.Actors/StateMachine.State.OnEventGotoStateAttribute/OnEventGotoStateAttribute.md
      - StateMachine.State.OnEventPushStateAttribute:
        - Overview: ref/Microsoft.Coyote.Actors/StateMachine.State.OnEventPushStateAttribute.md
        - OnEventPushStateAttribute: ref/Microsoft.Coyote.Actors/StateMachine.State.OnEventPushStateAttribute/OnEventPushStateAttribute.md
      - StateMachine.State.OnEventDoActionAttribute:
        - Overview: ref/Microsoft.Coyote.Actors/StateMachine.State.OnEventDoActionAttribute.md
        - OnEventDoActionAttribute: ref/Microsoft.Coyote.Actors/StateMachine.State.OnEventDoActionAttribute/OnEventDoActionAttribute.md
      - StateMachine.State.DeferEventsAttribute:
        - Overview: ref/Microsoft.Coyote.Actors/StateMachine.State.DeferEventsAttribute.md
        - DeferEventsAttribute: ref/Microsoft.Coyote.Actors/StateMachine.State.DeferEventsAttribute/DeferEventsAttribute.md
      - StateMachine.State.IgnoreEventsAttribute:
        - Overview: ref/Microsoft.Coyote.Actors/StateMachine.State.IgnoreEventsAttribute.md
        - IgnoreEventsAttribute: ref/Microsoft.Coyote.Actors/StateMachine.State.IgnoreEventsAttribute/IgnoreEventsAttribute.md
    - Microsoft.Coyote.Actors.Coverage:
      - Namespace Overview: ref/Microsoft.Coyote.Actors.CoverageNamespace.md
      - EventCoverage:
        - Overview: ref/Microsoft.Coyote.Actors.Coverage/EventCoverage.md
        - GetEventsReceived: ref/Microsoft.Coyote.Actors.Coverage/EventCoverage/GetEventsReceived.md
        - GetEventsSent: ref/Microsoft.Coyote.Actors.Coverage/EventCoverage/GetEventsSent.md
        - EventCoverage: ref/Microsoft.Coyote.Actors.Coverage/EventCoverage/EventCoverage.md
      - ActorRuntimeLogGraphBuilder:
        - Overview: ref/Microsoft.Coyote.Actors.Coverage/ActorRuntimeLogGraphBuilder.md
        - OnCreateActor: ref/Microsoft.Coyote.Actors.Coverage/ActorRuntimeLogGraphBuilder/OnCreateActor.md
        - OnCreateStateMachine: ref/Microsoft.Coyote.Actors.Coverage/ActorRuntimeLogGraphBuilder/OnCreateStateMachine.md
        - OnSendEvent: ref/Microsoft.Coyote.Actors.Coverage/ActorRuntimeLogGraphBuilder/OnSendEvent.md
        - OnRaiseEvent: ref/Microsoft.Coyote.Actors.Coverage/ActorRuntimeLogGraphBuilder/OnRaiseEvent.md
        - OnEnqueueEvent: ref/Microsoft.Coyote.Actors.Coverage/ActorRuntimeLogGraphBuilder/OnEnqueueEvent.md
        - OnDequeueEvent: ref/Microsoft.Coyote.Actors.Coverage/ActorRuntimeLogGraphBuilder/OnDequeueEvent.md
        - OnReceiveEvent: ref/Microsoft.Coyote.Actors.Coverage/ActorRuntimeLogGraphBuilder/OnReceiveEvent.md
        - OnWaitEvent: ref/Microsoft.Coyote.Actors.Coverage/ActorRuntimeLogGraphBuilder/OnWaitEvent.md
        - OnStateTransition: ref/Microsoft.Coyote.Actors.Coverage/ActorRuntimeLogGraphBuilder/OnStateTransition.md
        - OnExecuteAction: ref/Microsoft.Coyote.Actors.Coverage/ActorRuntimeLogGraphBuilder/OnExecuteAction.md
        - OnGotoState: ref/Microsoft.Coyote.Actors.Coverage/ActorRuntimeLogGraphBuilder/OnGotoState.md
        - OnPushState: ref/Microsoft.Coyote.Actors.Coverage/ActorRuntimeLogGraphBuilder/OnPushState.md
        - OnPopState: ref/Microsoft.Coyote.Actors.Coverage/ActorRuntimeLogGraphBuilder/OnPopState.md
        - OnHalt: ref/Microsoft.Coyote.Actors.Coverage/ActorRuntimeLogGraphBuilder/OnHalt.md
        - OnDefaultEventHandler: ref/Microsoft.Coyote.Actors.Coverage/ActorRuntimeLogGraphBuilder/OnDefaultEventHandler.md
        - OnHandleRaisedEvent: ref/Microsoft.Coyote.Actors.Coverage/ActorRuntimeLogGraphBuilder/OnHandleRaisedEvent.md
        - OnPopStateUnhandledEvent: ref/Microsoft.Coyote.Actors.Coverage/ActorRuntimeLogGraphBuilder/OnPopStateUnhandledEvent.md
        - OnExceptionThrown: ref/Microsoft.Coyote.Actors.Coverage/ActorRuntimeLogGraphBuilder/OnExceptionThrown.md
        - OnExceptionHandled: ref/Microsoft.Coyote.Actors.Coverage/ActorRuntimeLogGraphBuilder/OnExceptionHandled.md
        - OnCreateTimer: ref/Microsoft.Coyote.Actors.Coverage/ActorRuntimeLogGraphBuilder/OnCreateTimer.md
        - OnStopTimer: ref/Microsoft.Coyote.Actors.Coverage/ActorRuntimeLogGraphBuilder/OnStopTimer.md
        - OnCreateMonitor: ref/Microsoft.Coyote.Actors.Coverage/ActorRuntimeLogGraphBuilder/OnCreateMonitor.md
        - OnMonitorExecuteAction: ref/Microsoft.Coyote.Actors.Coverage/ActorRuntimeLogGraphBuilder/OnMonitorExecuteAction.md
        - OnMonitorProcessEvent: ref/Microsoft.Coyote.Actors.Coverage/ActorRuntimeLogGraphBuilder/OnMonitorProcessEvent.md
        - OnMonitorRaiseEvent: ref/Microsoft.Coyote.Actors.Coverage/ActorRuntimeLogGraphBuilder/OnMonitorRaiseEvent.md
        - OnMonitorStateTransition: ref/Microsoft.Coyote.Actors.Coverage/ActorRuntimeLogGraphBuilder/OnMonitorStateTransition.md
        - OnMonitorError: ref/Microsoft.Coyote.Actors.Coverage/ActorRuntimeLogGraphBuilder/OnMonitorError.md
        - OnRandom: ref/Microsoft.Coyote.Actors.Coverage/ActorRuntimeLogGraphBuilder/OnRandom.md
        - OnAssertionFailure: ref/Microsoft.Coyote.Actors.Coverage/ActorRuntimeLogGraphBuilder/OnAssertionFailure.md
        - OnStrategyDescription: ref/Microsoft.Coyote.Actors.Coverage/ActorRuntimeLogGraphBuilder/OnStrategyDescription.md
        - OnCompleted: ref/Microsoft.Coyote.Actors.Coverage/ActorRuntimeLogGraphBuilder/OnCompleted.md
        - SnapshotGraph: ref/Microsoft.Coyote.Actors.Coverage/ActorRuntimeLogGraphBuilder/SnapshotGraph.md
        - ActorRuntimeLogGraphBuilder: ref/Microsoft.Coyote.Actors.Coverage/ActorRuntimeLogGraphBuilder/ActorRuntimeLogGraphBuilder.md
        - CollapseMachineInstances: ref/Microsoft.Coyote.Actors.Coverage/ActorRuntimeLogGraphBuilder/CollapseMachineInstances.md
        - Logger: ref/Microsoft.Coyote.Actors.Coverage/ActorRuntimeLogGraphBuilder/Logger.md
        - Graph: ref/Microsoft.Coyote.Actors.Coverage/ActorRuntimeLogGraphBuilder/Graph.md
      - Graph:
        - Overview: ref/Microsoft.Coyote.Actors.Coverage/Graph.md
        - GetNode: ref/Microsoft.Coyote.Actors.Coverage/Graph/GetNode.md
        - GetOrCreateNode: ref/Microsoft.Coyote.Actors.Coverage/Graph/GetOrCreateNode.md
        - GetOrCreateLink: ref/Microsoft.Coyote.Actors.Coverage/Graph/GetOrCreateLink.md
        - ToString: ref/Microsoft.Coyote.Actors.Coverage/Graph/ToString.md
        - WriteDgml: ref/Microsoft.Coyote.Actors.Coverage/Graph/WriteDgml.md
        - LoadDgml: ref/Microsoft.Coyote.Actors.Coverage/Graph/LoadDgml.md
        - Merge: ref/Microsoft.Coyote.Actors.Coverage/Graph/Merge.md
        - Graph: ref/Microsoft.Coyote.Actors.Coverage/Graph/Graph.md
        - Nodes: ref/Microsoft.Coyote.Actors.Coverage/Graph/Nodes.md
        - Links: ref/Microsoft.Coyote.Actors.Coverage/Graph/Links.md
      - GraphObject:
        - Overview: ref/Microsoft.Coyote.Actors.Coverage/GraphObject.md
        - AddAttribute: ref/Microsoft.Coyote.Actors.Coverage/GraphObject/AddAttribute.md
        - AddListAttribute: ref/Microsoft.Coyote.Actors.Coverage/GraphObject/AddListAttribute.md
        - GraphObject: ref/Microsoft.Coyote.Actors.Coverage/GraphObject/GraphObject.md
        - Attributes: ref/Microsoft.Coyote.Actors.Coverage/GraphObject/Attributes.md
        - AttributeLists: ref/Microsoft.Coyote.Actors.Coverage/GraphObject/AttributeLists.md
      - GraphNode:
        - Overview: ref/Microsoft.Coyote.Actors.Coverage/GraphNode.md
        - AddDgmlProperties: ref/Microsoft.Coyote.Actors.Coverage/GraphNode/AddDgmlProperties.md
        - GraphNode: ref/Microsoft.Coyote.Actors.Coverage/GraphNode/GraphNode.md
        - Id: ref/Microsoft.Coyote.Actors.Coverage/GraphNode/Id.md
        - Label: ref/Microsoft.Coyote.Actors.Coverage/GraphNode/Label.md
        - Category: ref/Microsoft.Coyote.Actors.Coverage/GraphNode/Category.md
      - GraphLink:
        - Overview: ref/Microsoft.Coyote.Actors.Coverage/GraphLink.md
        - AddDgmlProperties: ref/Microsoft.Coyote.Actors.Coverage/GraphLink/AddDgmlProperties.md
        - GraphLink: ref/Microsoft.Coyote.Actors.Coverage/GraphLink/GraphLink.md
        - Label: ref/Microsoft.Coyote.Actors.Coverage/GraphLink/Label.md
        - Category: ref/Microsoft.Coyote.Actors.Coverage/GraphLink/Category.md
        - Source: ref/Microsoft.Coyote.Actors.Coverage/GraphLink/Source.md
        - Target: ref/Microsoft.Coyote.Actors.Coverage/GraphLink/Target.md
        - Index: ref/Microsoft.Coyote.Actors.Coverage/GraphLink/Index.md
      - CoverageInfo:
        - Overview: ref/Microsoft.Coyote.Actors.Coverage/CoverageInfo.md
        - IsMachineDeclared: ref/Microsoft.Coyote.Actors.Coverage/CoverageInfo/IsMachineDeclared.md
        - DeclareMachineState: ref/Microsoft.Coyote.Actors.Coverage/CoverageInfo/DeclareMachineState.md
        - DeclareStateEvent: ref/Microsoft.Coyote.Actors.Coverage/CoverageInfo/DeclareStateEvent.md
        - Merge: ref/Microsoft.Coyote.Actors.Coverage/CoverageInfo/Merge.md
        - Load: ref/Microsoft.Coyote.Actors.Coverage/CoverageInfo/Load.md
        - Save: ref/Microsoft.Coyote.Actors.Coverage/CoverageInfo/Save.md
        - CoverageInfo: ref/Microsoft.Coyote.Actors.Coverage/CoverageInfo/CoverageInfo.md
        - Machines: ref/Microsoft.Coyote.Actors.Coverage/CoverageInfo/Machines.md
        - MachinesToStates: ref/Microsoft.Coyote.Actors.Coverage/CoverageInfo/MachinesToStates.md
        - RegisteredEvents: ref/Microsoft.Coyote.Actors.Coverage/CoverageInfo/RegisteredEvents.md
        - CoverageGraph: ref/Microsoft.Coyote.Actors.Coverage/CoverageInfo/CoverageGraph.md
        - EventInfo: ref/Microsoft.Coyote.Actors.Coverage/CoverageInfo/EventInfo.md
    - Microsoft.Coyote.Actors.SharedObjects:
      - Namespace Overview: ref/Microsoft.Coyote.Actors.SharedObjectsNamespace.md
      - SharedCounter:
        - Overview: ref/Microsoft.Coyote.Actors.SharedObjects/SharedCounter.md
        - Create: ref/Microsoft.Coyote.Actors.SharedObjects/SharedCounter/Create.md
        - Increment: ref/Microsoft.Coyote.Actors.SharedObjects/SharedCounter/Increment.md
        - Decrement: ref/Microsoft.Coyote.Actors.SharedObjects/SharedCounter/Decrement.md
        - GetValue: ref/Microsoft.Coyote.Actors.SharedObjects/SharedCounter/GetValue.md
        - Add: ref/Microsoft.Coyote.Actors.SharedObjects/SharedCounter/Add.md
        - Exchange: ref/Microsoft.Coyote.Actors.SharedObjects/SharedCounter/Exchange.md
        - CompareExchange: ref/Microsoft.Coyote.Actors.SharedObjects/SharedCounter/CompareExchange.md
      - SharedDictionary:
        - Overview: ref/Microsoft.Coyote.Actors.SharedObjects/SharedDictionary.md
        - Create: ref/Microsoft.Coyote.Actors.SharedObjects/SharedDictionary/Create.md
      - SharedDictionary<TKey,TValue>:
        - Overview: ref/Microsoft.Coyote.Actors.SharedObjects/SharedDictionary-2.md
        - TryAdd: ref/Microsoft.Coyote.Actors.SharedObjects/SharedDictionary-2/TryAdd.md
        - TryUpdate: ref/Microsoft.Coyote.Actors.SharedObjects/SharedDictionary-2/TryUpdate.md
        - TryGetValue: ref/Microsoft.Coyote.Actors.SharedObjects/SharedDictionary-2/TryGetValue.md
        - TryRemove: ref/Microsoft.Coyote.Actors.SharedObjects/SharedDictionary-2/TryRemove.md
        - Item: ref/Microsoft.Coyote.Actors.SharedObjects/SharedDictionary-2/Item.md
        - Count: ref/Microsoft.Coyote.Actors.SharedObjects/SharedDictionary-2/Count.md
      - SharedRegister:
        - Overview: ref/Microsoft.Coyote.Actors.SharedObjects/SharedRegister.md
        - Create: ref/Microsoft.Coyote.Actors.SharedObjects/SharedRegister/Create.md
      - SharedRegister<T>:
        - Overview: ref/Microsoft.Coyote.Actors.SharedObjects/SharedRegister-1.md
        - Update: ref/Microsoft.Coyote.Actors.SharedObjects/SharedRegister-1/Update.md
        - GetValue: ref/Microsoft.Coyote.Actors.SharedObjects/SharedRegister-1/GetValue.md
        - SetValue: ref/Microsoft.Coyote.Actors.SharedObjects/SharedRegister-1/SetValue.md
    - Microsoft.Coyote.Actors.Timers:
      - Namespace Overview: ref/Microsoft.Coyote.Actors.TimersNamespace.md
      - TimerElapsedEvent:
        - Overview: ref/Microsoft.Coyote.Actors.Timers/TimerElapsedEvent.md
        - TimerElapsedEvent: ref/Microsoft.Coyote.Actors.Timers/TimerElapsedEvent/TimerElapsedEvent.md
        - Info: ref/Microsoft.Coyote.Actors.Timers/TimerElapsedEvent/Info.md
      - TimerInfo:
        - Overview: ref/Microsoft.Coyote.Actors.Timers/TimerInfo.md
        - Equals: ref/Microsoft.Coyote.Actors.Timers/TimerInfo/Equals.md
        - GetHashCode: ref/Microsoft.Coyote.Actors.Timers/TimerInfo/GetHashCode.md
        - ToString: ref/Microsoft.Coyote.Actors.Timers/TimerInfo/ToString.md
        - OwnerId: ref/Microsoft.Coyote.Actors.Timers/TimerInfo/OwnerId.md
        - DueTime: ref/Microsoft.Coyote.Actors.Timers/TimerInfo/DueTime.md
        - Period: ref/Microsoft.Coyote.Actors.Timers/TimerInfo/Period.md
        - CustomEvent: ref/Microsoft.Coyote.Actors.Timers/TimerInfo/CustomEvent.md
    - Microsoft.Coyote.IO:
      - Namespace Overview: ref/Microsoft.Coyote.IONamespace.md
      - ConsoleLogger:
        - Overview: ref/Microsoft.Coyote.IO/ConsoleLogger.md
        - Write: ref/Microsoft.Coyote.IO/ConsoleLogger/Write.md
        - WriteLine: ref/Microsoft.Coyote.IO/ConsoleLogger/WriteLine.md
        - ConsoleLogger: ref/Microsoft.Coyote.IO/ConsoleLogger/ConsoleLogger.md
        - TextWriter: ref/Microsoft.Coyote.IO/ConsoleLogger/TextWriter.md
        - Encoding: ref/Microsoft.Coyote.IO/ConsoleLogger/Encoding.md
        - LogLevel: ref/Microsoft.Coyote.IO/ConsoleLogger/LogLevel.md
      - ILogger:
        - Overview: ref/Microsoft.Coyote.IO/ILogger.md
        - Write: ref/Microsoft.Coyote.IO/ILogger/Write.md
        - WriteLine: ref/Microsoft.Coyote.IO/ILogger/WriteLine.md
        - TextWriter: ref/Microsoft.Coyote.IO/ILogger/TextWriter.md
      - InMemoryLogger:
        - Overview: ref/Microsoft.Coyote.IO/InMemoryLogger.md
        - Write: ref/Microsoft.Coyote.IO/InMemoryLogger/Write.md
        - WriteLine: ref/Microsoft.Coyote.IO/InMemoryLogger/WriteLine.md
        - ToString: ref/Microsoft.Coyote.IO/InMemoryLogger/ToString.md
        - InMemoryLogger: ref/Microsoft.Coyote.IO/InMemoryLogger/InMemoryLogger.md
        - TextWriter: ref/Microsoft.Coyote.IO/InMemoryLogger/TextWriter.md
        - Encoding: ref/Microsoft.Coyote.IO/InMemoryLogger/Encoding.md
      - LogSeverity: ref/Microsoft.Coyote.IO/LogSeverity.md
      - TextWriterLogger:
        - Overview: ref/Microsoft.Coyote.IO/TextWriterLogger.md
        - Write: ref/Microsoft.Coyote.IO/TextWriterLogger/Write.md
        - WriteLine: ref/Microsoft.Coyote.IO/TextWriterLogger/WriteLine.md
        - TextWriterLogger: ref/Microsoft.Coyote.IO/TextWriterLogger/TextWriterLogger.md
        - TextWriter: ref/Microsoft.Coyote.IO/TextWriterLogger/TextWriter.md
        - Encoding: ref/Microsoft.Coyote.IO/TextWriterLogger/Encoding.md
    - Microsoft.Coyote.Random:
      - Namespace Overview: ref/Microsoft.Coyote.RandomNamespace.md
      - Generator:
        - Overview: ref/Microsoft.Coyote.Random/Generator.md
        - Create: ref/Microsoft.Coyote.Random/Generator/Create.md
        - NextBoolean: ref/Microsoft.Coyote.Random/Generator/NextBoolean.md
        - NextInteger: ref/Microsoft.Coyote.Random/Generator/NextInteger.md
    - Microsoft.Coyote.Runtime:
      - Namespace Overview: ref/Microsoft.Coyote.RuntimeNamespace.md
      - ICoyoteRuntime:
        - Overview: ref/Microsoft.Coyote.Runtime/ICoyoteRuntime.md
        - RegisterMonitor: ref/Microsoft.Coyote.Runtime/ICoyoteRuntime/RegisterMonitor.md
        - Monitor: ref/Microsoft.Coyote.Runtime/ICoyoteRuntime/Monitor.md
        - RandomBoolean: ref/Microsoft.Coyote.Runtime/ICoyoteRuntime/RandomBoolean.md
        - RandomInteger: ref/Microsoft.Coyote.Runtime/ICoyoteRuntime/RandomInteger.md
        - Assert: ref/Microsoft.Coyote.Runtime/ICoyoteRuntime/Assert.md
        - Stop: ref/Microsoft.Coyote.Runtime/ICoyoteRuntime/Stop.md
        - Logger: ref/Microsoft.Coyote.Runtime/ICoyoteRuntime/Logger.md
        - OnFailure: ref/Microsoft.Coyote.Runtime/ICoyoteRuntime/OnFailure.md
      - OnFailureHandler: ref/Microsoft.Coyote.Runtime/OnFailureHandler.md
      - RuntimeFactory:
        - Overview: ref/Microsoft.Coyote.Runtime/RuntimeFactory.md
        - Create: ref/Microsoft.Coyote.Runtime/RuntimeFactory/Create.md
    - Microsoft.Coyote.Specifications:
      - Namespace Overview: ref/Microsoft.Coyote.SpecificationsNamespace.md
      - Monitor:
        - Overview: ref/Microsoft.Coyote.Specifications/Monitor.md
        - RaiseEvent: ref/Microsoft.Coyote.Specifications/Monitor/RaiseEvent.md
        - RaiseGotoStateEvent: ref/Microsoft.Coyote.Specifications/Monitor/RaiseGotoStateEvent.md
        - Assert: ref/Microsoft.Coyote.Specifications/Monitor/Assert.md
        - ToString: ref/Microsoft.Coyote.Specifications/Monitor/ToString.md
        - Monitor: ref/Microsoft.Coyote.Specifications/Monitor/Monitor.md
        - Logger: ref/Microsoft.Coyote.Specifications/Monitor/Logger.md
        - CurrentState: ref/Microsoft.Coyote.Specifications/Monitor/CurrentState.md
        - HashedState: ref/Microsoft.Coyote.Specifications/Monitor/HashedState.md
      - Specification:
        - Overview: ref/Microsoft.Coyote.Specifications/Specification.md
        - Assert: ref/Microsoft.Coyote.Specifications/Specification/Assert.md
        - IsEventuallyCompletedSuccessfully: ref/Microsoft.Coyote.Specifications/Specification/IsEventuallyCompletedSuccessfully.md
        - RegisterMonitor: ref/Microsoft.Coyote.Specifications/Specification/RegisterMonitor.md
        - Monitor: ref/Microsoft.Coyote.Specifications/Specification/Monitor.md
      - Monitor.State:
        - Overview: ref/Microsoft.Coyote.Specifications/Monitor.State.md
        - State: ref/Microsoft.Coyote.Specifications/Monitor.State/State.md
      - Monitor.StateGroup:
        - Overview: ref/Microsoft.Coyote.Specifications/Monitor.StateGroup.md
        - StateGroup: ref/Microsoft.Coyote.Specifications/Monitor.StateGroup/StateGroup.md
      - Monitor.State.StartAttribute:
        - Overview: ref/Microsoft.Coyote.Specifications/Monitor.State.StartAttribute.md
        - StartAttribute: ref/Microsoft.Coyote.Specifications/Monitor.State.StartAttribute/StartAttribute.md
      - Monitor.State.OnEntryAttribute:
        - Overview: ref/Microsoft.Coyote.Specifications/Monitor.State.OnEntryAttribute.md
        - OnEntryAttribute: ref/Microsoft.Coyote.Specifications/Monitor.State.OnEntryAttribute/OnEntryAttribute.md
      - Monitor.State.OnExitAttribute:
        - Overview: ref/Microsoft.Coyote.Specifications/Monitor.State.OnExitAttribute.md
        - OnExitAttribute: ref/Microsoft.Coyote.Specifications/Monitor.State.OnExitAttribute/OnExitAttribute.md
      - Monitor.State.OnEventGotoStateAttribute:
        - Overview: ref/Microsoft.Coyote.Specifications/Monitor.State.OnEventGotoStateAttribute.md
        - OnEventGotoStateAttribute: ref/Microsoft.Coyote.Specifications/Monitor.State.OnEventGotoStateAttribute/OnEventGotoStateAttribute.md
      - Monitor.State.OnEventDoActionAttribute:
        - Overview: ref/Microsoft.Coyote.Specifications/Monitor.State.OnEventDoActionAttribute.md
        - OnEventDoActionAttribute: ref/Microsoft.Coyote.Specifications/Monitor.State.OnEventDoActionAttribute/OnEventDoActionAttribute.md
      - Monitor.State.IgnoreEventsAttribute:
        - Overview: ref/Microsoft.Coyote.Specifications/Monitor.State.IgnoreEventsAttribute.md
        - IgnoreEventsAttribute: ref/Microsoft.Coyote.Specifications/Monitor.State.IgnoreEventsAttribute/IgnoreEventsAttribute.md
      - Monitor.State.ColdAttribute:
        - Overview: ref/Microsoft.Coyote.Specifications/Monitor.State.ColdAttribute.md
        - ColdAttribute: ref/Microsoft.Coyote.Specifications/Monitor.State.ColdAttribute/ColdAttribute.md
      - Monitor.State.HotAttribute:
        - Overview: ref/Microsoft.Coyote.Specifications/Monitor.State.HotAttribute.md
        - HotAttribute: ref/Microsoft.Coyote.Specifications/Monitor.State.HotAttribute/HotAttribute.md
    - Microsoft.Coyote.Tasks:
      - Namespace Overview: ref/Microsoft.Coyote.TasksNamespace.md
      - AsyncLock:
        - Overview: ref/Microsoft.Coyote.Tasks/AsyncLock.md
        - Create: ref/Microsoft.Coyote.Tasks/AsyncLock/Create.md
        - AcquireAsync: ref/Microsoft.Coyote.Tasks/AsyncLock/AcquireAsync.md
        - Release: ref/Microsoft.Coyote.Tasks/AsyncLock/Release.md
        - AsyncLock: ref/Microsoft.Coyote.Tasks/AsyncLock/AsyncLock.md
        - IsAcquired: ref/Microsoft.Coyote.Tasks/AsyncLock/IsAcquired.md
        - Awaiters: ref/Microsoft.Coyote.Tasks/AsyncLock/Awaiters.md
      - Semaphore:
        - Overview: ref/Microsoft.Coyote.Tasks/Semaphore.md
        - Create: ref/Microsoft.Coyote.Tasks/Semaphore/Create.md
        - Wait: ref/Microsoft.Coyote.Tasks/Semaphore/Wait.md
        - WaitAsync: ref/Microsoft.Coyote.Tasks/Semaphore/WaitAsync.md
        - Release: ref/Microsoft.Coyote.Tasks/Semaphore/Release.md
        - Dispose: ref/Microsoft.Coyote.Tasks/Semaphore/Dispose.md
        - Semaphore: ref/Microsoft.Coyote.Tasks/Semaphore/Semaphore.md
        - CurrentCount: ref/Microsoft.Coyote.Tasks/Semaphore/CurrentCount.md
      - SynchronizedBlock:
        - Overview: ref/Microsoft.Coyote.Tasks/SynchronizedBlock.md
        - Lock: ref/Microsoft.Coyote.Tasks/SynchronizedBlock/Lock.md
        - EnterLock: ref/Microsoft.Coyote.Tasks/SynchronizedBlock/EnterLock.md
        - Pulse: ref/Microsoft.Coyote.Tasks/SynchronizedBlock/Pulse.md
        - PulseAll: ref/Microsoft.Coyote.Tasks/SynchronizedBlock/PulseAll.md
        - Wait: ref/Microsoft.Coyote.Tasks/SynchronizedBlock/Wait.md
        - Dispose: ref/Microsoft.Coyote.Tasks/SynchronizedBlock/Dispose.md
        - SynchronizedBlock: ref/Microsoft.Coyote.Tasks/SynchronizedBlock/SynchronizedBlock.md
        - SyncObject: ref/Microsoft.Coyote.Tasks/SynchronizedBlock/SyncObject.md
      - Task:
        - Overview: ref/Microsoft.Coyote.Tasks/Task.md
        - FromResult: ref/Microsoft.Coyote.Tasks/Task/FromResult.md
        - FromCanceled: ref/Microsoft.Coyote.Tasks/Task/FromCanceled.md
        - FromException: ref/Microsoft.Coyote.Tasks/Task/FromException.md
        - Run: ref/Microsoft.Coyote.Tasks/Task/Run.md
        - Delay: ref/Microsoft.Coyote.Tasks/Task/Delay.md
        - WhenAll: ref/Microsoft.Coyote.Tasks/Task/WhenAll.md
        - WhenAny: ref/Microsoft.Coyote.Tasks/Task/WhenAny.md
        - WaitAll: ref/Microsoft.Coyote.Tasks/Task/WaitAll.md
        - WaitAny: ref/Microsoft.Coyote.Tasks/Task/WaitAny.md
        - Yield: ref/Microsoft.Coyote.Tasks/Task/Yield.md
        - Wait: ref/Microsoft.Coyote.Tasks/Task/Wait.md
        - GetAwaiter: ref/Microsoft.Coyote.Tasks/Task/GetAwaiter.md
        - ConfigureAwait: ref/Microsoft.Coyote.Tasks/Task/ConfigureAwait.md
        - ExploreContextSwitch: ref/Microsoft.Coyote.Tasks/Task/ExploreContextSwitch.md
        - Dispose: ref/Microsoft.Coyote.Tasks/Task/Dispose.md
        - CompletedTask: ref/Microsoft.Coyote.Tasks/Task/CompletedTask.md
        - CurrentId: ref/Microsoft.Coyote.Tasks/Task/CurrentId.md
        - Id: ref/Microsoft.Coyote.Tasks/Task/Id.md
        - UncontrolledTask: ref/Microsoft.Coyote.Tasks/Task/UncontrolledTask.md
        - IsCompleted: ref/Microsoft.Coyote.Tasks/Task/IsCompleted.md
        - IsCanceled: ref/Microsoft.Coyote.Tasks/Task/IsCanceled.md
        - IsFaulted: ref/Microsoft.Coyote.Tasks/Task/IsFaulted.md
        - Exception: ref/Microsoft.Coyote.Tasks/Task/Exception.md
        - Status: ref/Microsoft.Coyote.Tasks/Task/Status.md
      - Task<TResult>:
        - Overview: ref/Microsoft.Coyote.Tasks/Task-1.md
        - GetAwaiter: ref/Microsoft.Coyote.Tasks/Task-1/GetAwaiter.md
        - ConfigureAwait: ref/Microsoft.Coyote.Tasks/Task-1/ConfigureAwait.md
        - UncontrolledTask: ref/Microsoft.Coyote.Tasks/Task-1/UncontrolledTask.md
        - Result: ref/Microsoft.Coyote.Tasks/Task-1/Result.md
      - TaskCompletionSource:
        - Overview: ref/Microsoft.Coyote.Tasks/TaskCompletionSource.md
        - Create: ref/Microsoft.Coyote.Tasks/TaskCompletionSource/Create.md
      - TaskCompletionSource<TResult>:
        - Overview: ref/Microsoft.Coyote.Tasks/TaskCompletionSource-1.md
        - SetResult: ref/Microsoft.Coyote.Tasks/TaskCompletionSource-1/SetResult.md
        - TrySetResult: ref/Microsoft.Coyote.Tasks/TaskCompletionSource-1/TrySetResult.md
        - SetCanceled: ref/Microsoft.Coyote.Tasks/TaskCompletionSource-1/SetCanceled.md
        - TrySetCanceled: ref/Microsoft.Coyote.Tasks/TaskCompletionSource-1/TrySetCanceled.md
        - SetException: ref/Microsoft.Coyote.Tasks/TaskCompletionSource-1/SetException.md
        - TrySetException: ref/Microsoft.Coyote.Tasks/TaskCompletionSource-1/TrySetException.md
        - Task: ref/Microsoft.Coyote.Tasks/TaskCompletionSource-1/Task.md
      - TaskExtensions:
        - Overview: ref/Microsoft.Coyote.Tasks/TaskExtensions.md
        - WrapInControlledTask: ref/Microsoft.Coyote.Tasks/TaskExtensions/WrapInControlledTask.md
      - AsyncLock.Releaser:
        - Overview: ref/Microsoft.Coyote.Tasks/AsyncLock.Releaser.md
        - Dispose: ref/Microsoft.Coyote.Tasks/AsyncLock.Releaser/Dispose.md
  - Microsoft.Coyote.Test:
    - Overview: ref/Microsoft.Coyote.Test.md
    - Microsoft.Coyote.Rewriting:
      - Namespace Overview: ref/Microsoft.Coyote.RewritingNamespace.md
      - IsAssemblyRewrittenAttribute:
        - Overview: ref/Microsoft.Coyote.Rewriting/IsAssemblyRewrittenAttribute.md
        - IsAssemblyRewrittenAttribute: ref/Microsoft.Coyote.Rewriting/IsAssemblyRewrittenAttribute/IsAssemblyRewrittenAttribute.md
        - Version: ref/Microsoft.Coyote.Rewriting/IsAssemblyRewrittenAttribute/Version.md
      - RewritingEngine:
        - Overview: ref/Microsoft.Coyote.Rewriting/RewritingEngine.md
        - Run: ref/Microsoft.Coyote.Rewriting/RewritingEngine/Run.md
        - IsAssemblyRewritten: ref/Microsoft.Coyote.Rewriting/RewritingEngine/IsAssemblyRewritten.md
      - RewritingOptions:
        - Overview: ref/Microsoft.Coyote.Rewriting/RewritingOptions.md
        - ParseFromJSON: ref/Microsoft.Coyote.Rewriting/RewritingOptions/ParseFromJSON.md
        - RewritingOptions: ref/Microsoft.Coyote.Rewriting/RewritingOptions/RewritingOptions.md
        - AssembliesDirectory: ref/Microsoft.Coyote.Rewriting/RewritingOptions/AssembliesDirectory.md
        - OutputDirectory: ref/Microsoft.Coyote.Rewriting/RewritingOptions/OutputDirectory.md
        - AssemblyPaths: ref/Microsoft.Coyote.Rewriting/RewritingOptions/AssemblyPaths.md
        - IgnoredAssemblies: ref/Microsoft.Coyote.Rewriting/RewritingOptions/IgnoredAssemblies.md
        - DependencySearchPaths: ref/Microsoft.Coyote.Rewriting/RewritingOptions/DependencySearchPaths.md
        - StrongNameKeyFile: ref/Microsoft.Coyote.Rewriting/RewritingOptions/StrongNameKeyFile.md
        - IsRewritingDependencies: ref/Microsoft.Coyote.Rewriting/RewritingOptions/IsRewritingDependencies.md
        - Logger: ref/Microsoft.Coyote.Rewriting/RewritingOptions/Logger.md
        - LogLevel: ref/Microsoft.Coyote.Rewriting/RewritingOptions/LogLevel.md
        - IsRewritingUnitTests: ref/Microsoft.Coyote.Rewriting/RewritingOptions/IsRewritingUnitTests.md
        - IsRewritingThreads: ref/Microsoft.Coyote.Rewriting/RewritingOptions/IsRewritingThreads.md
    - Microsoft.Coyote.SystematicTesting:
      - Namespace Overview: ref/Microsoft.Coyote.SystematicTestingNamespace.md
      - TestAttribute:
        - Overview: ref/Microsoft.Coyote.SystematicTesting/TestAttribute.md
        - TestAttribute: ref/Microsoft.Coyote.SystematicTesting/TestAttribute/TestAttribute.md
      - TestInitAttribute:
        - Overview: ref/Microsoft.Coyote.SystematicTesting/TestInitAttribute.md
        - TestInitAttribute: ref/Microsoft.Coyote.SystematicTesting/TestInitAttribute/TestInitAttribute.md
      - TestDisposeAttribute:
        - Overview: ref/Microsoft.Coyote.SystematicTesting/TestDisposeAttribute.md
        - TestDisposeAttribute: ref/Microsoft.Coyote.SystematicTesting/TestDisposeAttribute/TestDisposeAttribute.md
      - TestIterationDisposeAttribute:
        - Overview: ref/Microsoft.Coyote.SystematicTesting/TestIterationDisposeAttribute.md
        - TestIterationDisposeAttribute: ref/Microsoft.Coyote.SystematicTesting/TestIterationDisposeAttribute/TestIterationDisposeAttribute.md
      - TestingEngine:
        - Overview: ref/Microsoft.Coyote.SystematicTesting/TestingEngine.md
        - Create: ref/Microsoft.Coyote.SystematicTesting/TestingEngine/Create.md
        - Run: ref/Microsoft.Coyote.SystematicTesting/TestingEngine/Run.md
        - Stop: ref/Microsoft.Coyote.SystematicTesting/TestingEngine/Stop.md
        - GetReport: ref/Microsoft.Coyote.SystematicTesting/TestingEngine/GetReport.md
        - ThrowIfBugFound: ref/Microsoft.Coyote.SystematicTesting/TestingEngine/ThrowIfBugFound.md
        - TryEmitTraces: ref/Microsoft.Coyote.SystematicTesting/TestingEngine/TryEmitTraces.md
        - RegisterPerIterationCallBack: ref/Microsoft.Coyote.SystematicTesting/TestingEngine/RegisterPerIterationCallBack.md
        - IsTestRewritten: ref/Microsoft.Coyote.SystematicTesting/TestingEngine/IsTestRewritten.md
        - TestReport: ref/Microsoft.Coyote.SystematicTesting/TestingEngine/TestReport.md
        - Logger: ref/Microsoft.Coyote.SystematicTesting/TestingEngine/Logger.md
        - ReadableTrace: ref/Microsoft.Coyote.SystematicTesting/TestingEngine/ReadableTrace.md
        - ReproducibleTrace: ref/Microsoft.Coyote.SystematicTesting/TestingEngine/ReproducibleTrace.md
      - TestReport:
        - Overview: ref/Microsoft.Coyote.SystematicTesting/TestReport.md
        - Merge: ref/Microsoft.Coyote.SystematicTesting/TestReport/Merge.md
        - GetText: ref/Microsoft.Coyote.SystematicTesting/TestReport/GetText.md
        - Clone: ref/Microsoft.Coyote.SystematicTesting/TestReport/Clone.md
        - TestReport: ref/Microsoft.Coyote.SystematicTesting/TestReport/TestReport.md
        - Configuration: ref/Microsoft.Coyote.SystematicTesting/TestReport/Configuration.md
        - CoverageInfo: ref/Microsoft.Coyote.SystematicTesting/TestReport/CoverageInfo.md
        - NumOfExploredFairSchedules: ref/Microsoft.Coyote.SystematicTesting/TestReport/NumOfExploredFairSchedules.md
        - NumOfExploredUnfairSchedules: ref/Microsoft.Coyote.SystematicTesting/TestReport/NumOfExploredUnfairSchedules.md
        - NumOfFoundBugs: ref/Microsoft.Coyote.SystematicTesting/TestReport/NumOfFoundBugs.md
        - BugReports: ref/Microsoft.Coyote.SystematicTesting/TestReport/BugReports.md
        - MinExploredFairSteps: ref/Microsoft.Coyote.SystematicTesting/TestReport/MinExploredFairSteps.md
        - MaxExploredFairSteps: ref/Microsoft.Coyote.SystematicTesting/TestReport/MaxExploredFairSteps.md
        - TotalExploredFairSteps: ref/Microsoft.Coyote.SystematicTesting/TestReport/TotalExploredFairSteps.md
        - MaxFairStepsHitInFairTests: ref/Microsoft.Coyote.SystematicTesting/TestReport/MaxFairStepsHitInFairTests.md
        - MaxUnfairStepsHitInFairTests: ref/Microsoft.Coyote.SystematicTesting/TestReport/MaxUnfairStepsHitInFairTests.md
        - MaxUnfairStepsHitInUnfairTests: ref/Microsoft.Coyote.SystematicTesting/TestReport/MaxUnfairStepsHitInUnfairTests.md
        - InternalErrors: ref/Microsoft.Coyote.SystematicTesting/TestReport/InternalErrors.md
...