Bump Microsoft.Coyote from 1.4.3 to 1.6.1

[dependabot]

Bumps Microsoft.Coyote from 1.4.3 to 1.6.1.

Changelog

Sourced from Microsoft.Coyote's changelog.

v1.6.1

• Exposed new IActorRuntime.GetActorExecutionStatus(id) API that enables querying the actor runtime for the current execution status of the actor with the specified id, as well as an IActorRuntime.GetCurrentActorCount() API that returns the number of active actors managed by the runtime. These APIs are not thread-safe and should only be used for gathering statistics and debugging purposes.
• Exposed new IActorRuntime.OnActorHalted callback which is triggered when an actor has halted and the runtime has stopped managing it.

v1.6.0

• Exposed new Operation API that enables instrumenting, controlling and scheduling custom concurrent operations.
• Exposed new SchedulingPoint.SetCheckpoint API that allows to capture all non-deterministic decisions in the currently explored execution path and try replay them in subsequent test iterations to optimize coverage of a subset of the state space.
• Added support for intercepting and controlling asynchronous locks.
• Added support for rewriting the SemaphoreSlim type.
• The Configuration.WithReplayStrategy method was renamed to Configuration.WithReproducibleTrace to make it more explicit that setting this option allows reproducing the specified trace.
• Various runtime improvements and bug fixes.

v1.5.9

• Improved the runtime to try enforce atomicity when invoking a specification Monitor.

v1.5.8

• Fixed a bug in coyote rewrite related to rewriting nested types.

v1.5.7

• Fixed a bug where a thrown exception was not propagating properly when invoking Task.WaitAll during systematic testing.
• Fixed a bug in coyote rewrite related to return types with nested generics.

v1.5.6

• Fixed a bug in coyote rewrite when checking uncontrolled tasks from methods with a nested generic return type.

v1.5.5

• Added support in coyote rewrite for rewriting types with a required modifier (modreq).

v1.5.4

• Significantly improved runtime performance during partially-controlled concurrency testing.

v1.5.3

• Improved the assembly loading logic when using the coyote tool.
• Fixed rare deadlock in test execution paths that exhibit partially-controlled concurrency.
• Various other runtime improvements.

v1.5.2

• Introduced new command-line interface for the coyote tool that builds on top of the System.CommandLine library. This brings an improved and more robust user experience (e.g. better

... (truncated)

Commits

• See full diff in compare view

Dependabot will resolve any conflicts with this PR as long as you don't alter it yourself. You can also trigger a rebase manually by commenting @dependabot rebase.

---

Dependabot commands and options

You can trigger Dependabot actions by commenting on this PR:

• @dependabot rebase will rebase this PR
• @dependabot recreate will recreate this PR, overwriting any edits that have been made to it
• @dependabot merge will merge this PR after your CI passes on it
• @dependabot squash and merge will squash and merge this PR after your CI passes on it
• @dependabot cancel merge will cancel a previously requested merge and block automerging
• @dependabot reopen will reopen this PR if it is closed
• @dependabot close will close this PR and stop Dependabot recreating it. You can achieve the same result by closing it manually
• @dependabot ignore this major version will close this PR and stop Dependabot creating any more for this major version (unless you reopen the PR or upgrade to it yourself)
• @dependabot ignore this minor version will close this PR and stop Dependabot creating any more for this minor version (unless you reopen the PR or upgrade to it yourself)
• @dependabot ignore this dependency will close this PR and stop Dependabot creating any more for this dependency (unless you reopen the PR or upgrade to it yourself)

[dependabot]

Superseded by #150.