coyote/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
- 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
      - Configuration:
        - Overview: ref/Microsoft.Coyote/Configuration.md
        - Create: ref/Microsoft.Coyote/Configuration/Create.md
        - WithVerbosityEnabled: ref/Microsoft.Coyote/Configuration/WithVerbosityEnabled.md
        - WithConsoleLoggingEnabled: ref/Microsoft.Coyote/Configuration/WithConsoleLoggingEnabled.md
        - WithTestingIterations: ref/Microsoft.Coyote/Configuration/WithTestingIterations.md
        - WithTestingTimeout: ref/Microsoft.Coyote/Configuration/WithTestingTimeout.md
        - WithReproducibleTrace: ref/Microsoft.Coyote/Configuration/WithReproducibleTrace.md
        - WithRandomStrategy: ref/Microsoft.Coyote/Configuration/WithRandomStrategy.md
        - WithProbabilisticStrategy: ref/Microsoft.Coyote/Configuration/WithProbabilisticStrategy.md
        - WithPrioritizationStrategy: ref/Microsoft.Coyote/Configuration/WithPrioritizationStrategy.md
        - WithDelayBoundingStrategy: ref/Microsoft.Coyote/Configuration/WithDelayBoundingStrategy.md
        - WithQLearningStrategy: ref/Microsoft.Coyote/Configuration/WithQLearningStrategy.md
        - WithPartiallyControlledConcurrencyAllowed: ref/Microsoft.Coyote/Configuration/WithPartiallyControlledConcurrencyAllowed.md
        - WithPartiallyControlledDataNondeterminismAllowed: ref/Microsoft.Coyote/Configuration/WithPartiallyControlledDataNondeterminismAllowed.md
        - WithSystematicFuzzingEnabled: ref/Microsoft.Coyote/Configuration/WithSystematicFuzzingEnabled.md
        - WithSystematicFuzzingFallbackEnabled: ref/Microsoft.Coyote/Configuration/WithSystematicFuzzingFallbackEnabled.md
        - WithMaxFuzzingDelay: ref/Microsoft.Coyote/Configuration/WithMaxFuzzingDelay.md
        - WithTraceAnalysisEnabled: ref/Microsoft.Coyote/Configuration/WithTraceAnalysisEnabled.md
        - WithCollectionAccessRaceCheckingEnabled: ref/Microsoft.Coyote/Configuration/WithCollectionAccessRaceCheckingEnabled.md
        - WithLockAccessRaceCheckingEnabled: ref/Microsoft.Coyote/Configuration/WithLockAccessRaceCheckingEnabled.md
        - WithAtomicOperationRaceCheckingEnabled: ref/Microsoft.Coyote/Configuration/WithAtomicOperationRaceCheckingEnabled.md
        - WithVolatileOperationRaceCheckingEnabled: ref/Microsoft.Coyote/Configuration/WithVolatileOperationRaceCheckingEnabled.md
        - WithMemoryAccessRaceCheckingEnabled: ref/Microsoft.Coyote/Configuration/WithMemoryAccessRaceCheckingEnabled.md
        - WithControlFlowRaceCheckingEnabled: ref/Microsoft.Coyote/Configuration/WithControlFlowRaceCheckingEnabled.md
        - WithExecutionTraceCycleReductionEnabled: ref/Microsoft.Coyote/Configuration/WithExecutionTraceCycleReductionEnabled.md
        - WithPartialOrderSamplingEnabled: ref/Microsoft.Coyote/Configuration/WithPartialOrderSamplingEnabled.md
        - WithFailureOnMaxStepsBoundEnabled: ref/Microsoft.Coyote/Configuration/WithFailureOnMaxStepsBoundEnabled.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
        - WithUncontrolledInvocationStackTraceLoggingEnabled: ref/Microsoft.Coyote/Configuration/WithUncontrolledInvocationStackTraceLoggingEnabled.md
        - WithActivityCoverageReported: ref/Microsoft.Coyote/Configuration/WithActivityCoverageReported.md
        - WithScheduleCoverageReported: ref/Microsoft.Coyote/Configuration/WithScheduleCoverageReported.md
        - WithCoverageInfoSerialized: ref/Microsoft.Coyote/Configuration/WithCoverageInfoSerialized.md
        - WithActorTraceVisualizationEnabled: ref/Microsoft.Coyote/Configuration/WithActorTraceVisualizationEnabled.md
        - WithXmlLogEnabled: ref/Microsoft.Coyote/Configuration/WithXmlLogEnabled.md
        - WithTelemetryEnabled: ref/Microsoft.Coyote/Configuration/WithTelemetryEnabled.md
        - Configuration: ref/Microsoft.Coyote/Configuration/Configuration.md
        - TestingIterations: ref/Microsoft.Coyote/Configuration/TestingIterations.md
        - RandomGeneratorSeed: ref/Microsoft.Coyote/Configuration/RandomGeneratorSeed.md
        - MaxFuzzingDelay: ref/Microsoft.Coyote/Configuration/MaxFuzzingDelay.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
        - VerbosityLevel: ref/Microsoft.Coyote/Configuration/VerbosityLevel.md
    - Microsoft.Coyote.Coverage:
      - Namespace Overview: ref/Microsoft.Coyote.CoverageNamespace.md
      - CoverageGraph:
        - Overview: ref/Microsoft.Coyote.Coverage/CoverageGraph.md
        - GetNode: ref/Microsoft.Coyote.Coverage/CoverageGraph/GetNode.md
        - GetOrCreateNode: ref/Microsoft.Coyote.Coverage/CoverageGraph/GetOrCreateNode.md
        - GetOrCreateLink: ref/Microsoft.Coyote.Coverage/CoverageGraph/GetOrCreateLink.md
        - WriteDgml: ref/Microsoft.Coyote.Coverage/CoverageGraph/WriteDgml.md
        - LoadDgml: ref/Microsoft.Coyote.Coverage/CoverageGraph/LoadDgml.md
        - Merge: ref/Microsoft.Coyote.Coverage/CoverageGraph/Merge.md
        - IsAvailable: ref/Microsoft.Coyote.Coverage/CoverageGraph/IsAvailable.md
        - ToString: ref/Microsoft.Coyote.Coverage/CoverageGraph/ToString.md
        - CoverageGraph: ref/Microsoft.Coyote.Coverage/CoverageGraph/CoverageGraph.md
        - Nodes: ref/Microsoft.Coyote.Coverage/CoverageGraph/Nodes.md
        - Links: ref/Microsoft.Coyote.Coverage/CoverageGraph/Links.md
      - CoverageInfo:
        - Overview: ref/Microsoft.Coyote.Coverage/CoverageInfo.md
        - Load: ref/Microsoft.Coyote.Coverage/CoverageInfo/Load.md
        - Save: ref/Microsoft.Coyote.Coverage/CoverageInfo/Save.md
        - Merge: ref/Microsoft.Coyote.Coverage/CoverageInfo/Merge.md
        - CoverageInfo: ref/Microsoft.Coyote.Coverage/CoverageInfo/CoverageInfo.md
        - CoverageGraph: ref/Microsoft.Coyote.Coverage/CoverageInfo/CoverageGraph.md
        - Monitors: ref/Microsoft.Coyote.Coverage/CoverageInfo/Monitors.md
        - MonitorsToStates: ref/Microsoft.Coyote.Coverage/CoverageInfo/MonitorsToStates.md
        - RegisteredMonitorEvents: ref/Microsoft.Coyote.Coverage/CoverageInfo/RegisteredMonitorEvents.md
        - MonitorEventInfo: ref/Microsoft.Coyote.Coverage/CoverageInfo/MonitorEventInfo.md
        - SchedulingPointStackTraces: ref/Microsoft.Coyote.Coverage/CoverageInfo/SchedulingPointStackTraces.md
        - ExploredPaths: ref/Microsoft.Coyote.Coverage/CoverageInfo/ExploredPaths.md
        - VisitedStates: ref/Microsoft.Coyote.Coverage/CoverageInfo/VisitedStates.md
        - Lock: ref/Microsoft.Coyote.Coverage/CoverageInfo/Lock.md
      - MonitorEventCoverage:
        - Overview: ref/Microsoft.Coyote.Coverage/MonitorEventCoverage.md
        - GetEventsProcessed: ref/Microsoft.Coyote.Coverage/MonitorEventCoverage/GetEventsProcessed.md
        - GetEventsRaised: ref/Microsoft.Coyote.Coverage/MonitorEventCoverage/GetEventsRaised.md
        - MonitorEventCoverage: ref/Microsoft.Coyote.Coverage/MonitorEventCoverage/MonitorEventCoverage.md
      - CoverageGraph.Object:
        - Overview: ref/Microsoft.Coyote.Coverage/CoverageGraph.Object.md
        - AddAttribute: ref/Microsoft.Coyote.Coverage/CoverageGraph.Object/AddAttribute.md
        - AddListAttribute: ref/Microsoft.Coyote.Coverage/CoverageGraph.Object/AddListAttribute.md
        - Object: ref/Microsoft.Coyote.Coverage/CoverageGraph.Object/Object.md
        - Attributes: ref/Microsoft.Coyote.Coverage/CoverageGraph.Object/Attributes.md
        - AttributeLists: ref/Microsoft.Coyote.Coverage/CoverageGraph.Object/AttributeLists.md
      - CoverageGraph.Node:
        - Overview: ref/Microsoft.Coyote.Coverage/CoverageGraph.Node.md
        - AddDgmlProperties: ref/Microsoft.Coyote.Coverage/CoverageGraph.Node/AddDgmlProperties.md
        - Node: ref/Microsoft.Coyote.Coverage/CoverageGraph.Node/Node.md
        - Id: ref/Microsoft.Coyote.Coverage/CoverageGraph.Node/Id.md
        - Label: ref/Microsoft.Coyote.Coverage/CoverageGraph.Node/Label.md
        - Category: ref/Microsoft.Coyote.Coverage/CoverageGraph.Node/Category.md
      - CoverageGraph.Link:
        - Overview: ref/Microsoft.Coyote.Coverage/CoverageGraph.Link.md
        - AddDgmlProperties: ref/Microsoft.Coyote.Coverage/CoverageGraph.Link/AddDgmlProperties.md
        - Link: ref/Microsoft.Coyote.Coverage/CoverageGraph.Link/Link.md
        - Label: ref/Microsoft.Coyote.Coverage/CoverageGraph.Link/Label.md
        - Category: ref/Microsoft.Coyote.Coverage/CoverageGraph.Link/Category.md
        - Source: ref/Microsoft.Coyote.Coverage/CoverageGraph.Link/Source.md
        - Target: ref/Microsoft.Coyote.Coverage/CoverageGraph.Link/Target.md
        - Index: ref/Microsoft.Coyote.Coverage/CoverageGraph.Link/Index.md
    - Microsoft.Coyote.Logging:
      - Namespace Overview: ref/Microsoft.Coyote.LoggingNamespace.md
      - ConsoleLogger:
        - Overview: ref/Microsoft.Coyote.Logging/ConsoleLogger.md
        - Write: ref/Microsoft.Coyote.Logging/ConsoleLogger/Write.md
        - WriteLine: ref/Microsoft.Coyote.Logging/ConsoleLogger/WriteLine.md
        - Dispose: ref/Microsoft.Coyote.Logging/ConsoleLogger/Dispose.md
        - ConsoleLogger: ref/Microsoft.Coyote.Logging/ConsoleLogger/ConsoleLogger.md
      - ILogger:
        - Overview: ref/Microsoft.Coyote.Logging/ILogger.md
        - Write: ref/Microsoft.Coyote.Logging/ILogger/Write.md
        - WriteLine: ref/Microsoft.Coyote.Logging/ILogger/WriteLine.md
      - LogSeverity: ref/Microsoft.Coyote.Logging/LogSeverity.md
      - MemoryLogger:
        - Overview: ref/Microsoft.Coyote.Logging/MemoryLogger.md
        - Write: ref/Microsoft.Coyote.Logging/MemoryLogger/Write.md
        - WriteLine: ref/Microsoft.Coyote.Logging/MemoryLogger/WriteLine.md
        - ToString: ref/Microsoft.Coyote.Logging/MemoryLogger/ToString.md
        - Dispose: ref/Microsoft.Coyote.Logging/MemoryLogger/Dispose.md
        - MemoryLogger: ref/Microsoft.Coyote.Logging/MemoryLogger/MemoryLogger.md
      - TextWriterLogger:
        - Overview: ref/Microsoft.Coyote.Logging/TextWriterLogger.md
        - Write: ref/Microsoft.Coyote.Logging/TextWriterLogger/Write.md
        - WriteLine: ref/Microsoft.Coyote.Logging/TextWriterLogger/WriteLine.md
        - Dispose: ref/Microsoft.Coyote.Logging/TextWriterLogger/Dispose.md
        - TextWriterLogger: ref/Microsoft.Coyote.Logging/TextWriterLogger/TextWriterLogger.md
      - VerbosityLevel: ref/Microsoft.Coyote.Logging/VerbosityLevel.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
      - IRuntimeExtension:
        - Overview: ref/Microsoft.Coyote.Runtime/IRuntimeExtension.md
        - RunTest: ref/Microsoft.Coyote.Runtime/IRuntimeExtension/RunTest.md
        - BuildCoverageInfo: ref/Microsoft.Coyote.Runtime/IRuntimeExtension/BuildCoverageInfo.md
        - GetCoverageInfo: ref/Microsoft.Coyote.Runtime/IRuntimeExtension/GetCoverageInfo.md
        - GetCoverageGraph: ref/Microsoft.Coyote.Runtime/IRuntimeExtension/GetCoverageGraph.md
        - WaitUntilQuiescenceAsync: ref/Microsoft.Coyote.Runtime/IRuntimeExtension/WaitUntilQuiescenceAsync.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
        - RegisterLog: ref/Microsoft.Coyote.Runtime/ICoyoteRuntime/RegisterLog.md
        - RemoveLog: ref/Microsoft.Coyote.Runtime/ICoyoteRuntime/RemoveLog.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
      - IRuntimeLog:
        - Overview: ref/Microsoft.Coyote.Runtime/IRuntimeLog.md
        - OnCreateMonitor: ref/Microsoft.Coyote.Runtime/IRuntimeLog/OnCreateMonitor.md
        - OnMonitorExecuteAction: ref/Microsoft.Coyote.Runtime/IRuntimeLog/OnMonitorExecuteAction.md
        - OnMonitorProcessEvent: ref/Microsoft.Coyote.Runtime/IRuntimeLog/OnMonitorProcessEvent.md
        - OnMonitorRaiseEvent: ref/Microsoft.Coyote.Runtime/IRuntimeLog/OnMonitorRaiseEvent.md
        - OnMonitorStateTransition: ref/Microsoft.Coyote.Runtime/IRuntimeLog/OnMonitorStateTransition.md
        - OnMonitorError: ref/Microsoft.Coyote.Runtime/IRuntimeLog/OnMonitorError.md
        - OnRandom: ref/Microsoft.Coyote.Runtime/IRuntimeLog/OnRandom.md
        - OnAssertionFailure: ref/Microsoft.Coyote.Runtime/IRuntimeLog/OnAssertionFailure.md
        - OnCompleted: ref/Microsoft.Coyote.Runtime/IRuntimeLog/OnCompleted.md
      - RuntimeLogTextFormatter:
        - Overview: ref/Microsoft.Coyote.Runtime/RuntimeLogTextFormatter.md
        - OnCreateMonitor: ref/Microsoft.Coyote.Runtime/RuntimeLogTextFormatter/OnCreateMonitor.md
        - OnMonitorExecuteAction: ref/Microsoft.Coyote.Runtime/RuntimeLogTextFormatter/OnMonitorExecuteAction.md
        - OnMonitorProcessEvent: ref/Microsoft.Coyote.Runtime/RuntimeLogTextFormatter/OnMonitorProcessEvent.md
        - OnMonitorRaiseEvent: ref/Microsoft.Coyote.Runtime/RuntimeLogTextFormatter/OnMonitorRaiseEvent.md
        - OnMonitorStateTransition: ref/Microsoft.Coyote.Runtime/RuntimeLogTextFormatter/OnMonitorStateTransition.md
        - OnMonitorError: ref/Microsoft.Coyote.Runtime/RuntimeLogTextFormatter/OnMonitorError.md
        - OnRandom: ref/Microsoft.Coyote.Runtime/RuntimeLogTextFormatter/OnRandom.md
        - OnAssertionFailure: ref/Microsoft.Coyote.Runtime/RuntimeLogTextFormatter/OnAssertionFailure.md
        - OnCompleted: ref/Microsoft.Coyote.Runtime/RuntimeLogTextFormatter/OnCompleted.md
        - RuntimeLogTextFormatter: ref/Microsoft.Coyote.Runtime/RuntimeLogTextFormatter/RuntimeLogTextFormatter.md
        - Logger: ref/Microsoft.Coyote.Runtime/RuntimeLogTextFormatter/Logger.md
      - OnFailureHandler: ref/Microsoft.Coyote.Runtime/OnFailureHandler.md
      - IOperationBuilder:
        - Overview: ref/Microsoft.Coyote.Runtime/IOperationBuilder.md
        - Name: ref/Microsoft.Coyote.Runtime/IOperationBuilder/Name.md
        - GroupId: ref/Microsoft.Coyote.Runtime/IOperationBuilder/GroupId.md
        - HashedStateCallback: ref/Microsoft.Coyote.Runtime/IOperationBuilder/HashedStateCallback.md
      - Operation:
        - Overview: ref/Microsoft.Coyote.Runtime/Operation.md
        - GetNextId: ref/Microsoft.Coyote.Runtime/Operation/GetNextId.md
        - CreateNext: ref/Microsoft.Coyote.Runtime/Operation/CreateNext.md
        - CreateFrom: ref/Microsoft.Coyote.Runtime/Operation/CreateFrom.md
        - Start: ref/Microsoft.Coyote.Runtime/Operation/Start.md
        - PauseUntil: ref/Microsoft.Coyote.Runtime/Operation/PauseUntil.md
        - PauseUntilCompleted: ref/Microsoft.Coyote.Runtime/Operation/PauseUntilCompleted.md
        - PauseUntilAsync: ref/Microsoft.Coyote.Runtime/Operation/PauseUntilAsync.md
        - PauseUntilCompletedAsync: ref/Microsoft.Coyote.Runtime/Operation/PauseUntilCompletedAsync.md
        - ScheduleNext: ref/Microsoft.Coyote.Runtime/Operation/ScheduleNext.md
        - OnStarted: ref/Microsoft.Coyote.Runtime/Operation/OnStarted.md
        - OnCompleted: ref/Microsoft.Coyote.Runtime/Operation/OnCompleted.md
        - TryReset: ref/Microsoft.Coyote.Runtime/Operation/TryReset.md
        - RegisterCallSite: ref/Microsoft.Coyote.Runtime/Operation/RegisterCallSite.md
      - RuntimeProvider:
        - Overview: ref/Microsoft.Coyote.Runtime/RuntimeProvider.md
        - Current: ref/Microsoft.Coyote.Runtime/RuntimeProvider/Current.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
        - SetCheckpoint: ref/Microsoft.Coyote.Runtime/SchedulingPoint/SetCheckpoint.md
      - TaskServices: ref/Microsoft.Coyote.Runtime/TaskServices.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
        - RegisterStateHashingFunction: ref/Microsoft.Coyote.Specifications/Specification/RegisterStateHashingFunction.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.Event:
        - Overview: ref/Microsoft.Coyote.Specifications/Monitor.Event.md
        - Event: ref/Microsoft.Coyote.Specifications/Monitor.Event/Event.md
      - Monitor.WildCardEvent:
        - Overview: ref/Microsoft.Coyote.Specifications/Monitor.WildCardEvent.md
        - WildCardEvent: ref/Microsoft.Coyote.Specifications/Monitor.WildCardEvent/WildCardEvent.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.Actors:
    - Overview: ref/Microsoft.Coyote.Actors.md
    - Microsoft.Coyote.Actors:
      - Namespace Overview: ref/Microsoft.Coyote.ActorsNamespace.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
      - Event:
        - Overview: ref/Microsoft.Coyote.Actors/Event.md
        - Event: ref/Microsoft.Coyote.Actors/Event/Event.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
      - 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
      - OnActorHaltedHandler: ref/Microsoft.Coyote.Actors/OnActorHaltedHandler.md
      - OnEventDroppedHandler: ref/Microsoft.Coyote.Actors/OnEventDroppedHandler.md
      - ActorRuntimeLogTextFormatter:
        - Overview: ref/Microsoft.Coyote.Actors/ActorRuntimeLogTextFormatter.md
        - OnCreateActor: ref/Microsoft.Coyote.Actors/ActorRuntimeLogTextFormatter/OnCreateActor.md
        - OnCreateStateMachine: ref/Microsoft.Coyote.Actors/ActorRuntimeLogTextFormatter/OnCreateStateMachine.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
        - 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
        - ActorRuntimeLogTextFormatter: ref/Microsoft.Coyote.Actors/ActorRuntimeLogTextFormatter/ActorRuntimeLogTextFormatter.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
      - 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
      - ActorExecutionStatus: ref/Microsoft.Coyote.Actors/ActorExecutionStatus.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
      - 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
        - GetActorExecutionStatus: ref/Microsoft.Coyote.Actors/IActorRuntime/GetActorExecutionStatus.md
        - GetCurrentActorIds: ref/Microsoft.Coyote.Actors/IActorRuntime/GetCurrentActorIds.md
        - GetCurrentActorTypes: ref/Microsoft.Coyote.Actors/IActorRuntime/GetCurrentActorTypes.md
        - GetCurrentActorCount: ref/Microsoft.Coyote.Actors/IActorRuntime/GetCurrentActorCount.md
        - OnActorHalted: ref/Microsoft.Coyote.Actors/IActorRuntime/OnActorHalted.md
        - OnEventDropped: ref/Microsoft.Coyote.Actors/IActorRuntime/OnEventDropped.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
      - ActorCoverageInfo:
        - Overview: ref/Microsoft.Coyote.Actors.Coverage/ActorCoverageInfo.md
        - IsMachineDeclared: ref/Microsoft.Coyote.Actors.Coverage/ActorCoverageInfo/IsMachineDeclared.md
        - DeclareMachineState: ref/Microsoft.Coyote.Actors.Coverage/ActorCoverageInfo/DeclareMachineState.md
        - DeclareMachineStateEventPair: ref/Microsoft.Coyote.Actors.Coverage/ActorCoverageInfo/DeclareMachineStateEventPair.md
        - Merge: ref/Microsoft.Coyote.Actors.Coverage/ActorCoverageInfo/Merge.md
        - ActorCoverageInfo: ref/Microsoft.Coyote.Actors.Coverage/ActorCoverageInfo/ActorCoverageInfo.md
        - Machines: ref/Microsoft.Coyote.Actors.Coverage/ActorCoverageInfo/Machines.md
        - MachinesToStates: ref/Microsoft.Coyote.Actors.Coverage/ActorCoverageInfo/MachinesToStates.md
        - RegisteredActorEvents: ref/Microsoft.Coyote.Actors.Coverage/ActorCoverageInfo/RegisteredActorEvents.md
        - ActorEventInfo: ref/Microsoft.Coyote.Actors.Coverage/ActorCoverageInfo/ActorEventInfo.md
      - ActorEventCoverage:
        - Overview: ref/Microsoft.Coyote.Actors.Coverage/ActorEventCoverage.md
        - GetEventsReceived: ref/Microsoft.Coyote.Actors.Coverage/ActorEventCoverage/GetEventsReceived.md
        - GetEventsSent: ref/Microsoft.Coyote.Actors.Coverage/ActorEventCoverage/GetEventsSent.md
        - ActorEventCoverage: ref/Microsoft.Coyote.Actors.Coverage/ActorEventCoverage/ActorEventCoverage.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.Actors.UnitTesting:
      - Namespace Overview: ref/Microsoft.Coyote.Actors.UnitTestingNamespace.md
      - ActorTestKit<T>:
        - Overview: ref/Microsoft.Coyote.Actors.UnitTesting/ActorTestKit-1.md
        - StartActorAsync: ref/Microsoft.Coyote.Actors.UnitTesting/ActorTestKit-1/StartActorAsync.md
        - SendEventAsync: ref/Microsoft.Coyote.Actors.UnitTesting/ActorTestKit-1/SendEventAsync.md
        - Invoke: ref/Microsoft.Coyote.Actors.UnitTesting/ActorTestKit-1/Invoke.md
        - InvokeAsync: ref/Microsoft.Coyote.Actors.UnitTesting/ActorTestKit-1/InvokeAsync.md
        - Assert: ref/Microsoft.Coyote.Actors.UnitTesting/ActorTestKit-1/Assert.md
        - AssertStateTransition: ref/Microsoft.Coyote.Actors.UnitTesting/ActorTestKit-1/AssertStateTransition.md
        - AssertIsWaitingToReceiveEvent: ref/Microsoft.Coyote.Actors.UnitTesting/ActorTestKit-1/AssertIsWaitingToReceiveEvent.md
        - AssertInboxSize: ref/Microsoft.Coyote.Actors.UnitTesting/ActorTestKit-1/AssertInboxSize.md
        - ActorTestKit: ref/Microsoft.Coyote.Actors.UnitTesting/ActorTestKit-1/ActorTestKit.md
        - Logger: ref/Microsoft.Coyote.Actors.UnitTesting/ActorTestKit-1/Logger.md
        - ActorInstance: ref/Microsoft.Coyote.Actors.UnitTesting/ActorTestKit-1/ActorInstance.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
      - SkipRewritingAttribute:
        - Overview: ref/Microsoft.Coyote.Rewriting/SkipRewritingAttribute.md
        - SkipRewritingAttribute: ref/Microsoft.Coyote.Rewriting/SkipRewritingAttribute/SkipRewritingAttribute.md
        - Reason: ref/Microsoft.Coyote.Rewriting/SkipRewritingAttribute/Reason.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
        - NumOfExploredFairPaths: ref/Microsoft.Coyote.SystematicTesting/TestReport/NumOfExploredFairPaths.md
        - NumOfExploredUnfairPaths: ref/Microsoft.Coyote.SystematicTesting/TestReport/NumOfExploredUnfairPaths.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
        - MinOperationGroupingDegree: ref/Microsoft.Coyote.SystematicTesting/TestReport/MinOperationGroupingDegree.md
        - MaxOperationGroupingDegree: ref/Microsoft.Coyote.SystematicTesting/TestReport/MaxOperationGroupingDegree.md
        - TotalOperationGroupingDegree: ref/Microsoft.Coyote.SystematicTesting/TestReport/TotalOperationGroupingDegree.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
        - RegisterStartIterationCallBack: ref/Microsoft.Coyote.SystematicTesting/TestingEngine/RegisterStartIterationCallBack.md
        - RegisterEndIterationCallBack: ref/Microsoft.Coyote.SystematicTesting/TestingEngine/RegisterEndIterationCallBack.md
        - InvokeStartIterationCallBacks: ref/Microsoft.Coyote.SystematicTesting/TestingEngine/InvokeStartIterationCallBacks.md
        - InvokeEndIterationCallBacks: ref/Microsoft.Coyote.SystematicTesting/TestingEngine/InvokeEndIterationCallBacks.md
        - IsTestRewritten: ref/Microsoft.Coyote.SystematicTesting/TestingEngine/IsTestRewritten.md
        - SetLogger: ref/Microsoft.Coyote.SystematicTesting/TestingEngine/SetLogger.md
        - Dispose: ref/Microsoft.Coyote.SystematicTesting/TestingEngine/Dispose.md
        - TestReport: ref/Microsoft.Coyote.SystematicTesting/TestingEngine/TestReport.md
        - ReadableTrace: ref/Microsoft.Coyote.SystematicTesting/TestingEngine/ReadableTrace.md
        - ReproducibleTrace: ref/Microsoft.Coyote.SystematicTesting/TestingEngine/ReproducibleTrace.md
    - Microsoft.Coyote.SystematicTesting.Frameworks.XUnit:
      - Namespace Overview: ref/Microsoft.Coyote.SystematicTesting.Frameworks.XUnitNamespace.md
      - TestOutputLogger:
        - Overview: ref/Microsoft.Coyote.SystematicTesting.Frameworks.XUnit/TestOutputLogger.md
        - Write: ref/Microsoft.Coyote.SystematicTesting.Frameworks.XUnit/TestOutputLogger/Write.md
        - WriteLine: ref/Microsoft.Coyote.SystematicTesting.Frameworks.XUnit/TestOutputLogger/WriteLine.md
        - Dispose: ref/Microsoft.Coyote.SystematicTesting.Frameworks.XUnit/TestOutputLogger/Dispose.md
        - TestOutputLogger: ref/Microsoft.Coyote.SystematicTesting.Frameworks.XUnit/TestOutputLogger/TestOutputLogger.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
...