Bump Microsoft.Coyote.Test and Microsoft.Extensions.DependencyModel

[dependabot]

Bumps Microsoft.Coyote.Test and Microsoft.Extensions.DependencyModel. These dependencies needed to be updated together.
Updates Microsoft.Coyote.Test from 1.4.3 to 1.7.11

Changelog

Sourced from Microsoft.Coyote.Test's changelog.

v1.7.11

• Added support for the net8.0 target framework.
• Added support to optionally explore a race condition when using the AutoResetEvent.Reset method.

v1.7.10

• Fixed an issue with Actor not halting as expected in certain scenarios after explicitly raising a HaltEvent event.

v1.7.9

• Added the Microsoft.Coyote.Rewriting.SkipRewriting attribute that allows skipping the rewriting of a user-specified type.
• The coyote command line tool can now invoke non-static xUnit tests that have no parameters and their declaring type has a constructor without parameters or only has the Xunit.Abstractions.ITestOutputHelper as parameter.
• Fixed a bug with not reporting correctly actor coverage.

v1.7.8

• Added rewriting support for fine-grained race-checking at memory-access and control-flow branching locations. Race-checking at memory-access locations can be enabled during testing by setting the Configuration.WithMemoryAccessRaceCheckingEnabled option, whereas race-checking at control-flow branching locations can be enabled during testing by setting the Configuration.WithControlFlowRaceCheckingEnabled option. Rewriting is enabled by default to support both features, which adds extra instructions in the rewritten DLLs, but this can be disabled by setting the IsRewritingMemoryLocations rewriting option to false.

v1.7.7

• Added rewriting support for System.Threading.SpinWait methods.

v1.7.6

• Exposed the ConsoleLogger as public so that users can conveniently use it to write runtime logs to the console.
• Implemented more fake methods in the ActorTestKit class.
• Added a method for setting a custom logger when using the ActorTestKit class.
• Added rewriting support for System.Threading.Volatile methods.
• Fixed a bug where merging coverage info could result in a rare race condition.

v1.7.5

• Added support for controlling user-created Thread instances during testing.
• Added support for controlling WaitHandle and related APIs during testing.
• Added the ActorTestKit class for unit-testing actors and state machines in isolation.
• Disabled the automated fallback to randomized fuzzing during testing, if systematic testing fails.
• Fixed a bug in bug trace reporting.

v1.7.4

... (truncated)

Commits

• See full diff in compare view

Updates Microsoft.Extensions.DependencyModel from 6.0.0 to 8.0.0

Release notes

Sourced from Microsoft.Extensions.DependencyModel's releases.

.NET 8.0.0

Release

What's Changed

• [release/8.0-rc1] [release/8.0] Events for IL methods without IL headers by @​github-actions in dotnet/runtime#92317
• [release/8.0] Update dependencies from dotnet/source-build-externals by @​dotnet-maestro in dotnet/runtime#92340
• [release/8.0-rc1] [release/8.0] Fix wasi build. by @​github-actions in dotnet/runtime#92368
• [automated] Merge branch 'release/8.0-rc2' => 'release/8.0' by @​dotnet-maestro-bot in dotnet/runtime#92325
• [release/8.0] Update dependencies from dotnet/roslyn by @​dotnet-maestro in dotnet/runtime#92303
• [automated] Merge branch 'release/8.0-rc1' => 'release/8.0' by @​dotnet-maestro-bot in dotnet/runtime#92374
• [release/8.0] Bump version to GA by @​carlossanlop in dotnet/runtime#92305
• [release/8.0] Update dependencies from dotnet/source-build-externals by @​dotnet-maestro in dotnet/runtime#92476
• [automated] Merge branch 'release/8.0-rc2' => 'release/8.0' by @​dotnet-maestro-bot in dotnet/runtime#92401
• [release/8.0] Update dependencies from dotnet/roslyn by @​dotnet-maestro in dotnet/runtime#92418
• [release/8.0] Update dependencies from dotnet/source-build-reference-packages by @​dotnet-maestro in dotnet/runtime#92474
• [release/8.0] Update dependencies from dnceng/internal/dotnet-optimization by @​dotnet-maestro in dotnet/runtime#92473
• [release/8.0] Update dependencies from dotnet/roslyn by @​dotnet-maestro in dotnet/runtime#92488
• [automated] Merge branch 'release/8.0-rc2' => 'release/8.0' by @​dotnet-maestro-bot in dotnet/runtime#92484
• [release/8.0] Update dependencies from dotnet/roslyn-analyzers by @​dotnet-maestro in dotnet/runtime#92499
• [release/8.0] Update dependencies from dotnet/emsdk by @​dotnet-maestro in dotnet/runtime#92532
• [automated] Merge branch 'release/8.0-rc2' => 'release/8.0' by @​dotnet-maestro-bot in dotnet/runtime#92515
• [release/8.0] Update dependencies from dotnet/source-build-externals by @​dotnet-maestro in dotnet/runtime#92641
• [release/8.0] Update dependencies from dotnet/emsdk dotnet/hotreload-utils by @​dotnet-maestro in dotnet/runtime#92606
• [release/8.0][wasm] Fix regressed file sizes for blazor by @​radical in dotnet/runtime#92627
• [release/8.0] JIT: Fixed containment of STOREIND of HW intrinsics ConvertTo*/Extract* by @​github-actions in dotnet/runtime#92513
• [release/8.0] Define bool as Interop.BOOL to prevent upper bytes setting native bool by @​github-actions in dotnet/runtime#92681
• [release/8.0] Make CoreCLR/NativeAOT assembly compile with .subsections_via_symbols on Apple platforms by @​github-actions in dotnet/runtime#92544
• [release/8.0] Fix LLVMAOT Mono runtime variant official build to produce correctly named runtime packs by @​github-actions in dotnet/runtime#92737
• [release/8.0] Remove all PGO assets except for the runtime PGO archive. by @​github-actions in dotnet/runtime#92735
• [release/8.0] Put HasNativeCodeReJITAware into GetFunctionAddress by @​github-actions in dotnet/runtime#92665
• [release/8.0] Update dependencies from dotnet/cecil dotnet/emsdk by @​dotnet-maestro in dotnet/runtime#92702
• [release/8.0][wasm] Fix Wasm.Build.Tests failing due to an old skiasharp reference by @​radical in dotnet/runtime#92747
• [release/8.0] Update dependencies from dotnet/installer by @​radical in dotnet/runtime#92745
• [release/8.0] Bring back CopyOutputSymbolsToPublishDirectory by @​github-actions in dotnet/runtime#92369
• [release/8.0] Update dependencies from dotnet/installer by @​radical in dotnet/runtime#92795
• [release/8.0] Update dependencies from dnceng/internal/dotnet-optimization by @​dotnet-maestro in dotnet/runtime#92762
• [release/8.0] Update dependencies from dnceng/internal/dotnet-optimization by @​dotnet-maestro in dotnet/runtime#92816
• [release/8.0][wasm][debugger] Support multidimensional indexing of object scheme by @​ilonatommy in dotnet/runtime#92753
• [release/8.0] [browser] Remove duplicated marshaling of return value for JSExport by @​github-actions in dotnet/runtime#92886
• [release/8.0] [browser][nodejs] keep runtime alive for JSExport calls by @​github-actions in dotnet/runtime#92890
• [release/8.0] Update dependencies from dotnet/roslyn by @​dotnet-maestro in dotnet/runtime#92503
• [release/8.0] Make config binding gen incremental (#89587) by @​layomia in dotnet/runtime#92730
• [release/8.0] [wasm] Endian fix for Webcil by @​github-actions in dotnet/runtime#92495
• [release/8.0] Update dependencies from dotnet/source-build-externals by @​dotnet-maestro in dotnet/runtime#92935
• [release/8.0] Update dependencies from dotnet/cecil dotnet/hotreload-utils by @​dotnet-maestro in dotnet/runtime#92932
• [release/8.0][wasm] Use intended ports when running DevServer by @​radical in dotnet/runtime#92906
• [release/8.0] Fix deadlock in EventPipeEventDispatcher by @​github-actions in dotnet/runtime#92912
• [release/8.0] CI: runtime-wasm-perf: disable for PRs by @​radical in dotnet/runtime#92977
• [release/8.0] Throw when applying JsonObjectHandling.Populate to types with parameterized constructors. by @​github-actions in dotnet/runtime#92947
• [release/8.0] Use invariant culture in CBOR date encoding by @​github-actions in dotnet/runtime#92924

... (truncated)

Commits

• 5535e31 Merge in 'release/8.0' changes
• e0bed94 Update dependencies from https://github.com/dotnet/emsdk build 20231030.2 (#9...
• 0395649 Merge in 'release/8.0' changes
• 0a7709a [release/8.0] Bump net7 downlevel version to 7.0.14 (#94192)
• a60d358 Merge in 'release/8.0' changes
• 7331dcb [8.0] Update MsQuic (#93979)
• 17ea9ab Merged PR 34793: [internal/release/8.0] Merge from public
• 2066e8f Apply suggestions from code review
• 59edaad [release/8.0] Honor JsonSerializerOptions.PropertyNameCaseInsensitive in prop...
• 488a8a3 [release/8.0][wasm] Fix perf pipeline runs (#93888)
• Additional commits viewable 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 show <dependency name> ignore conditions will show all of the ignore conditions of the specified dependency
• @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)