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:
- 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
  - Videos: overview/videos.md
  - Publications: overview/publications.md
  - FAQ: overview/faq.md
- Get started with Coyote:
  - Installing Coyote: get-started/install.md
  - Using Coyote: get-started/using-coyote.md
  - Building from source: get-started/build-source.md
  - Telemetry: get-started/telemetry.md
- Tutorials:
  - Overview: tutorials/overview.md
  - Write your first concurrency unit test: tutorials/first-concurrency-unit-test.md
  - Test concurrent CRUD operations: tutorials/test-concurrent-operations.md
  - Writing mocks:
    - Mocking dependencies for testing: tutorials/mocks/mock-dependencies.md
    - Simulating optimistic concurrency control: tutorials/mocks/optimistic-concurrency-control.md
    - Testing an ASP.NET Core service: tutorials/testing-aspnet-service.md
  - Test failover and liveness: tutorials/test-failover.md
  - Actors and state machines:
    - Hello world with actors: tutorials/actors/hello-world.md
    - Raft actor service (on Azure): tutorials/actors/raft-azure.md
    - Raft actor service (mocked): tutorials/actors/raft-mocking.md
    - Test failover and liveness: tutorials/actors/test-failover.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
  - Actors and state machines:
    - Overview: concepts/actors/overview.md
    - State machines: concepts/actors/state-machines.md
    - Actor semantics: concepts/actors/actor-semantics.md
    - Actor termination: concepts/actors/termination.md
    - Using timers in actors: concepts/actors/timers.md
    - Event groups: concepts/actors/event-groups.md
    - Semantics of unhandled exceptions: concepts/actors/uncaught-exceptions.md
    - Sharing objects: concepts/actors/sharing-objects.md
    - Logging: concepts/actors/logging.md
    - State machine demo: concepts/actors/state-machine-demo.md
    - Why Coyote actors?: concepts/actors/why-actors.md
- How-to guides:
  - Integrate with a unit testing framework: how-to/unit-testing.md
  - Find liveness bugs effectively: how-to/liveness-checking.md
  - Track code and actor activity coverage: how-to/coverage.md
  - Generate DGML diagrams: how-to/generate-dgml.md
- Samples:
  - Overview: samples/overview.md
  - Task-based C# programs:
    - Deadlock in bounded-buffer: samples/tasks/bounded-buffer.md
  - Actors and state machines:
    - Bug in failure detector: samples/actors/failure-detector.md
    - Robot navigator failover: samples/actors/failover-robot-navigator.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
- 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
        - WithPrioritizationStrategy: ref/Microsoft.Coyote/Configuration/WithPrioritizationStrategy.md
        - WithRLStrategy: ref/Microsoft.Coyote/Configuration/WithRLStrategy.md
        - WithReplayStrategy: ref/Microsoft.Coyote/Configuration/WithReplayStrategy.md
        - WithTestingIterations: ref/Microsoft.Coyote/Configuration/WithTestingIterations.md
        - WithTestingTimeout: ref/Microsoft.Coyote/Configuration/WithTestingTimeout.md
        - WithPartiallyControlledConcurrencyAllowed: ref/Microsoft.Coyote/Configuration/WithPartiallyControlledConcurrencyAllowed.md
        - WithSystematicFuzzingEnabled: ref/Microsoft.Coyote/Configuration/WithSystematicFuzzingEnabled.md
        - WithSystematicFuzzingFallbackEnabled: ref/Microsoft.Coyote/Configuration/WithSystematicFuzzingFallbackEnabled.md
        - WithSharedStateReductionEnabled: ref/Microsoft.Coyote/Configuration/WithSharedStateReductionEnabled.md
        - WithNoBugTraceRepro: ref/Microsoft.Coyote/Configuration/WithNoBugTraceRepro.md
        - WithMaxSchedulingSteps: ref/Microsoft.Coyote/Configuration/WithMaxSchedulingSteps.md
        - WithLivenessTemperatureThreshold: ref/Microsoft.Coyote/Configuration/WithLivenessTemperatureThreshold.md
        - WithTimeoutDelay: ref/Microsoft.Coyote/Configuration/WithTimeoutDelay.md
        - WithDeadlockTimeout: ref/Microsoft.Coyote/Configuration/WithDeadlockTimeout.md
        - WithPotentialDeadlocksReportedAsBugs: ref/Microsoft.Coyote/Configuration/WithPotentialDeadlocksReportedAsBugs.md
        - WithUncontrolledConcurrencyResolutionTimeout: ref/Microsoft.Coyote/Configuration/WithUncontrolledConcurrencyResolutionTimeout.md
        - WithRandomGeneratorSeed: ref/Microsoft.Coyote/Configuration/WithRandomGeneratorSeed.md
        - WithIncrementalSeedGenerationEnabled: ref/Microsoft.Coyote/Configuration/WithIncrementalSeedGenerationEnabled.md
        - WithVerbosityEnabled: ref/Microsoft.Coyote/Configuration/WithVerbosityEnabled.md
        - WithActivityCoverageReported: ref/Microsoft.Coyote/Configuration/WithActivityCoverageReported.md
        - WithTraceVisualizationEnabled: ref/Microsoft.Coyote/Configuration/WithTraceVisualizationEnabled.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
        - TimeoutDelay: ref/Microsoft.Coyote/Configuration/TimeoutDelay.md
        - DeadlockTimeout: ref/Microsoft.Coyote/Configuration/DeadlockTimeout.md
        - IsVerbose: ref/Microsoft.Coyote/Configuration/IsVerbose.md
        - LogLevel: ref/Microsoft.Coyote/Configuration/LogLevel.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
      - DequeueStatus: ref/Microsoft.Coyote.Actors/DequeueStatus.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
        - OnEventHandlerTerminated: ref/Microsoft.Coyote.Actors/ActorRuntimeLogTextFormatter/OnEventHandlerTerminated.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
        - 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
        - OnHandleRaisedEvent: ref/Microsoft.Coyote.Actors/ActorRuntimeLogTextFormatter/OnHandleRaisedEvent.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
        - 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
        - OnHandleRaisedEvent: ref/Microsoft.Coyote.Actors/IActorRuntimeLog/OnHandleRaisedEvent.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
        - OnEventHandlerTerminated: ref/Microsoft.Coyote.Actors/IActorRuntimeLog/OnEventHandlerTerminated.md
        - OnHalt: ref/Microsoft.Coyote.Actors/IActorRuntimeLog/OnHalt.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
        - 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
      - 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
        - Dispose: ref/Microsoft.Coyote.IO/InMemoryLogger/Dispose.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
      - AssertionFailureException: ref/Microsoft.Coyote.Runtime/AssertionFailureException.md
      - RuntimeException:
        - Overview: ref/Microsoft.Coyote.Runtime/RuntimeException.md
        - RuntimeException: ref/Microsoft.Coyote.Runtime/RuntimeException/RuntimeException.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
      - RuntimeProvider:
        - Overview: ref/Microsoft.Coyote.Runtime/RuntimeProvider.md
        - Create: ref/Microsoft.Coyote.Runtime/RuntimeProvider/Create.md
      - SchedulingPoint:
        - Overview: ref/Microsoft.Coyote.Runtime/SchedulingPoint.md
        - Interleave: ref/Microsoft.Coyote.Runtime/SchedulingPoint/Interleave.md
        - Yield: ref/Microsoft.Coyote.Runtime/SchedulingPoint/Yield.md
        - Read: ref/Microsoft.Coyote.Runtime/SchedulingPoint/Read.md
        - Write: ref/Microsoft.Coyote.Runtime/SchedulingPoint/Write.md
        - Suppress: ref/Microsoft.Coyote.Runtime/SchedulingPoint/Suppress.md
        - Resume: ref/Microsoft.Coyote.Runtime/SchedulingPoint/Resume.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.Test:
    - Overview: ref/Microsoft.Coyote.Test.md
    - Microsoft.Coyote.Rewriting:
      - Namespace Overview: ref/Microsoft.Coyote.RewritingNamespace.md
      - RewritingSignatureAttribute:
        - Overview: ref/Microsoft.Coyote.Rewriting/RewritingSignatureAttribute.md
        - RewritingSignatureAttribute: ref/Microsoft.Coyote.Rewriting/RewritingSignatureAttribute/RewritingSignatureAttribute.md
        - Version: ref/Microsoft.Coyote.Rewriting/RewritingSignatureAttribute/Version.md
        - Signature: ref/Microsoft.Coyote.Rewriting/RewritingSignatureAttribute/Signature.md
      - RewritingEngine:
        - Overview: ref/Microsoft.Coyote.Rewriting/RewritingEngine.md
        - IsAssemblyRewritten: ref/Microsoft.Coyote.Rewriting/RewritingEngine/IsAssemblyRewritten.md
    - Microsoft.Coyote.SystematicTesting:
      - Namespace Overview: ref/Microsoft.Coyote.SystematicTestingNamespace.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
        - UncontrolledInvocations: ref/Microsoft.Coyote.SystematicTesting/TestReport/UncontrolledInvocations.md
        - MinControlledOperations: ref/Microsoft.Coyote.SystematicTesting/TestReport/MinControlledOperations.md
        - MaxControlledOperations: ref/Microsoft.Coyote.SystematicTesting/TestReport/MaxControlledOperations.md
        - TotalControlledOperations: ref/Microsoft.Coyote.SystematicTesting/TestReport/TotalControlledOperations.md
        - MinConcurrencyDegree: ref/Microsoft.Coyote.SystematicTesting/TestReport/MinConcurrencyDegree.md
        - MaxConcurrencyDegree: ref/Microsoft.Coyote.SystematicTesting/TestReport/MaxConcurrencyDegree.md
        - TotalConcurrencyDegree: ref/Microsoft.Coyote.SystematicTesting/TestReport/TotalConcurrencyDegree.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
        - MinExploredUnfairSteps: ref/Microsoft.Coyote.SystematicTesting/TestReport/MinExploredUnfairSteps.md
        - MaxExploredUnfairSteps: ref/Microsoft.Coyote.SystematicTesting/TestReport/MaxExploredUnfairSteps.md
        - TotalExploredUnfairSteps: ref/Microsoft.Coyote.SystematicTesting/TestReport/TotalExploredUnfairSteps.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
      - 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
        - TryEmitReports: ref/Microsoft.Coyote.SystematicTesting/TestingEngine/TryEmitReports.md
        - TryEmitCoverageReports: ref/Microsoft.Coyote.SystematicTesting/TestingEngine/TryEmitCoverageReports.md
        - RegisterPerIterationCallBack: ref/Microsoft.Coyote.SystematicTesting/TestingEngine/RegisterPerIterationCallBack.md
        - IsTestRewritten: ref/Microsoft.Coyote.SystematicTesting/TestingEngine/IsTestRewritten.md
        - Dispose: ref/Microsoft.Coyote.SystematicTesting/TestingEngine/Dispose.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
    - Microsoft.Coyote.Web:
      - Namespace Overview: ref/Microsoft.Coyote.WebNamespace.md
      - RequestControllerMiddlewareExtensions:
        - Overview: ref/Microsoft.Coyote.Web/RequestControllerMiddlewareExtensions.md
        - UseRequestController: ref/Microsoft.Coyote.Web/RequestControllerMiddlewareExtensions/UseRequestController.md
...