support for net7.0

.config/dotnet-tools.json

@@ -15,7 +15,7 @@
  ]
  },
  "dotnet-ilverify": {
- "version": "6.0.0",
+ "version": "7.0.0",
  "commands": [
  "ilverify"
  ]

.github/workflows/codeql-analysis.yml

@@ -26,10 +26,10 @@ jobs:
  uses: NuGet/setup-nuget@v1
  with:
  nuget-version: '6.x'
- - name: Setup .NET 6.0 SDK
+ - name: Setup .NET 7.0 SDK
  uses: actions/setup-dotnet@v1
  with:
- dotnet-version: '6.0.x'
+ dotnet-version: '7.0.x'
  - name: Set environment variables
  run: echo "COYOTE_CLI_TELEMETRY_OPTOUT=1" >> $GITHUB_ENV
  # Initializes the CodeQL tools for scanning.

.github/workflows/test-coyote.yml

@@ -30,6 +30,10 @@ jobs:
  uses: NuGet/setup-nuget@v1
  with:
  nuget-version: '6.x'
+ - name: Setup .NET 7.0 SDK
+ uses: actions/setup-dotnet@v1
+ with:
+ dotnet-version: '7.0.x'
  - name: Setup .NET 6.0 SDK
  uses: actions/setup-dotnet@v1
  with:

.github/workflows/test-performance.yml

@@ -23,10 +23,10 @@ jobs:
  uses: NuGet/setup-nuget@v1
  with:
  nuget-version: '6.x'
- - name: Setup .NET 6.0 SDK
+ - name: Setup .NET 7.0 SDK
  uses: actions/setup-dotnet@v1
  with:
- dotnet-version: '6.0.x'
+ dotnet-version: '7.0.x'
  - name: Setup Powershell
  run: ./Scripts/install-pwsh.cmd
  - name: Build Coyote projects

Common/build.props

@@ -44,14 +44,14 @@
  <NetCore31Installed>false</NetCore31Installed>
  <NetCore31Installed Condition="$(GlobalVersion.StartsWith('3.1'))">true</NetCore31Installed>
  <NetCore31Installed Condition="'$(BUILD_NETCORE31)'=='yes'">true</NetCore31Installed>
- <!-- <Net5Supported Condition="'$(Net5Supported)'==''">true</Net5Supported>
- <Net5Installed>false</Net5Installed>
- <Net5Installed Condition="$(GlobalVersion.StartsWith('5.0'))">true</Net5Installed>
- <Net5Installed Condition="'$(BUILD_NET5)'=='yes'">true</Net5Installed> -->
- <TargetFrameworks>net6.0</TargetFrameworks>
+ <Net6Supported Condition="'$(Net6Supported)'==''">true</Net6Supported>
+ <Net6Installed>false</Net6Installed>
+ <Net6Installed Condition="$(GlobalVersion.StartsWith('6.0'))">true</Net6Installed>
+ <Net6Installed Condition="'$(BUILD_NET6)'=='yes'">true</Net6Installed>
+ <TargetFrameworks>net7.0</TargetFrameworks>
  <TargetFrameworks Condition="'$(NetStandard2Supported)'">$(TargetFrameworks);netstandard2.0</TargetFrameworks>
  <TargetFrameworks Condition="'$(NetCore31Installed)' and '$(NetCore31Supported)'">$(TargetFrameworks);netcoreapp3.1</TargetFrameworks>
- <!-- <TargetFrameworks Condition="'$(Net5Installed)' and '$(Net5Supported)'">$(TargetFrameworks);net5.0</TargetFrameworks> -->
+ <TargetFrameworks Condition="'$(Net6Installed)' and '$(Net6Supported)'">$(TargetFrameworks);net6.0</TargetFrameworks>
  </PropertyGroup>
  <PropertyGroup Condition="'$(OS)'=='Windows_NT'">
  <TargetFrameworks Condition="'$(Framework462Installed)' and '$(Framework462Supported)'">$(TargetFrameworks);net462</TargetFrameworks>

Samples/AccountManager/AccountManager.ETags/AccountManager.ETags.csproj

@@ -19,7 +19,7 @@
  <DefineConstants>TRACE</DefineConstants>
  </PropertyGroup>
  <ItemGroup>
- <PackageReference Include="System.Text.Json" Version="6.0.0" />
+ <PackageReference Include="System.Text.Json" Version="7.0.1" />
  <PackageReference Include="xunit.assert" Version="2.4.2" />
  </ItemGroup>
 </Project>

Samples/README.md

@@ -35,8 +35,8 @@ to build reliable applications and services:
 
 To build and run the samples, you will need to:
 
-- Install the [.NET 6.0 SDK](https://dotnet.microsoft.com/download/dotnet).
-- Install the [.NET 6.0 version of the coyote
+- Install the [.NET 7.0 SDK](https://dotnet.microsoft.com/download/dotnet).
+- Install the [.NET 7.0 version of the coyote
  tool](https://microsoft.github.io/coyote/get-started/install/).
 
 Once you are ready, build the samples by running the following script from the root of the

Samples/WebApps/ImageGalleryAspNet/ImageGallery/readme.md

@@ -8,7 +8,7 @@ This is a web client front end that uses the ImageGalleryService middle tier.
 
 The app depends on the following:
 
-- [.NET 6.0 SDK](https://dotnet.microsoft.com/download/dotnet) must be installed.
+- [.NET 7.0 SDK](https://dotnet.microsoft.com/download/dotnet) must be installed.
 - [Azure Storage Emulator](https://docs.microsoft.com/en-us/azure/storage/common/storage-use-emulator) must be hnstalled running.
 - [Azure Cosmos Emulator](https://docs.microsoft.com/en-us/azure/cosmos-db/local-emulator?tabs=cli%2Cssl-netstd21) must be installed and running.
 - Open Azure Cosmos Data Explorer from taskbar tray and copy the `Primary Connection String` from there into `~/ImageGalleryAspNet/ImageGalleryService/appsettings.json`.

Samples/WebApps/PetImagesAspNet/PetImages.Tests/PetImages.Tests.csproj

@@ -10,8 +10,8 @@
  <ProjectReference Include="..\PetImages\PetImages.csproj" />
  </ItemGroup>
  <ItemGroup>
- <PackageReference Include="Microsoft.AspNetCore.TestHost" Version="6.0.3" />
- <PackageReference Include="Microsoft.AspNetCore.Mvc.Testing" Version="6.0.3" />
+ <PackageReference Include="Microsoft.AspNetCore.TestHost" Version="7.0.1" />
+ <PackageReference Include="Microsoft.AspNetCore.Mvc.Testing" Version="7.0.1" />
  <PackageReference Include="Microsoft.NET.Test.Sdk" Version="17.1.0" />
  <PackageReference Include="xunit" Version="2.4.2" />
  <PackageReference Include="xunit.runner.visualstudio" Version="2.4.5" />

Scripts/CI/azure-nuget-sign-publish.yml

@@ -8,10 +8,15 @@ steps:
  versionSpec: 6.x
 
 - task: UseDotNet@2
- displayName: 'Install .NET 6.0 SDK'
+ displayName: 'Install .NET 7.0 SDK'
  inputs:
  useGlobalJson: true
 
+- task: UseDotNet@2
+ displayName: 'Install .NET 6.0 SDK'
+ inputs:
+ version: 6.0.x
+
 - task: UseDotNet@2
  displayName: 'Install .NET Core 3.1 SDK'
  inputs:

Scripts/build.ps1

@@ -27,7 +27,7 @@ $dotnet = "dotnet"
 $dotnet_sdk_path = FindDotNetSdkPath -dotnet $dotnet
 $version_net4 = $IsWindows -and (Get-ItemProperty "HKLM:SOFTWARE\Microsoft\NET Framework Setup\NDP\v4\Full").Release -ge 528040
 $version_netcore31 = FindMatchingVersion -path $dotnet_sdk_path -version "3.1.0"
-$version_net5 = FindMatchingVersion -path $dotnet_sdk_path -version "5.0.0"
+$version_net6 = FindMatchingVersion -path $dotnet_sdk_path -version "6.0.0"
 $sdk_version = FindDotNetSdkVersion -dotnet_sdk_path $dotnet_sdk_path
 
 if ($null -eq $sdk_version) {
@@ -49,10 +49,10 @@ if ($ci.IsPresent) {
  $extra_frameworks = $extra_frameworks + " /p:BUILD_NETCORE31=yes"
  }
 
- # if ($null -ne $version_net5 -and $version_net5 -ne $sdk_version) {
- #  # Build .NET 5.0 as well as the latest version.
- #  $extra_frameworks = $extra_frameworks + " /p:BUILD_NET5=yes"
- # }
+ if ($null -ne $version_net6 -and $version_net6 -ne $sdk_version) {
+ # Build .NET 6.0 as well as the latest version.
+ $extra_frameworks = $extra_frameworks + " /p:BUILD_NET6=yes"
+ }
 }
 
 Write-Comment -text "Using configuration '$configuration'." -color "magenta"

Scripts/run-tests.ps1

@@ -2,7 +2,7 @@
 # Licensed under the MIT License.
 
 param(
- [ValidateSet("net7.0", "net462")]
+ [ValidateSet("net7.0", "net6.0", "netcoreapp3.1", "net462")]
  [string]$framework = "net7.0",
  [ValidateSet("all", "runtime", "rewriting", "testing", "actors", "actors-testing", "standalone")]
  [string]$test = "all",

Tests/Tests.Actors.BugFinding/Tests.Actors.BugFinding.csproj

@@ -6,7 +6,7 @@
  <OutputPath>.\bin\</OutputPath>
  <NetStandard2Supported>false</NetStandard2Supported>
  <NetCore31Supported>false</NetCore31Supported>
- <Net5Supported>false</Net5Supported>
+ <Net6Supported>false</Net6Supported>
  <IsPackable>false</IsPackable>
  <NoWarn>$(NoWarn),1591</NoWarn>
  </PropertyGroup>

Tests/Tests.Actors.Performance/Tests.Actors.Performance.csproj

@@ -7,7 +7,7 @@
  <NetStandard2Supported>false</NetStandard2Supported>
  <Framework462Supported>false</Framework462Supported>
  <NetCore31Supported>false</NetCore31Supported>
- <Net5Supported>false</Net5Supported>
+ <Net6Supported>false</Net6Supported>
  <IsPackable>false</IsPackable>
  <NoWarn>$(NoWarn),1591</NoWarn>
  </PropertyGroup>

Tests/Tests.Actors/Tests.Actors.csproj

@@ -6,7 +6,7 @@
  <OutputPath>.\bin\</OutputPath>
  <NetStandard2Supported>false</NetStandard2Supported>
  <NetCore31Supported>false</NetCore31Supported>
- <Net5Supported>false</Net5Supported>
+ <Net6Supported>false</Net6Supported>
  <IsPackable>false</IsPackable>
  <NoWarn>$(NoWarn),1591</NoWarn>
  </PropertyGroup>

Tests/Tests.BugFinding/Tests.BugFinding.csproj

@@ -6,7 +6,7 @@
  <OutputPath>.\bin\</OutputPath>
  <NetStandard2Supported>false</NetStandard2Supported>
  <NetCore31Supported>false</NetCore31Supported>
- <Net5Supported>false</Net5Supported>
+ <Net6Supported>false</Net6Supported>
  <IsPackable>false</IsPackable>
  <NoWarn>$(NoWarn),1591</NoWarn>
  </PropertyGroup>

Tests/Tests.Performance/Tests.Performance.csproj

@@ -7,7 +7,7 @@
  <NetStandard2Supported>false</NetStandard2Supported>
  <Framework462Supported>false</Framework462Supported>
  <NetCore31Supported>false</NetCore31Supported>
- <Net5Supported>false</Net5Supported>
+ <Net6Supported>false</Net6Supported>
  <IsPackable>false</IsPackable>
  <NoWarn>$(NoWarn),1591</NoWarn>
  </PropertyGroup>

Tests/Tests.Runtime/Tests.Runtime.csproj

@@ -6,7 +6,7 @@
  <OutputPath>.\bin\</OutputPath>
  <NetStandard2Supported>false</NetStandard2Supported>
  <NetCore31Supported>false</NetCore31Supported>
- <Net5Supported>false</Net5Supported>
+ <Net6Supported>false</Net6Supported>
  <IsPackable>false</IsPackable>
  <NoWarn>$(NoWarn),1591</NoWarn>
  </PropertyGroup>

Tools/BenchmarkRunner/BenchmarkRunner.csproj

@@ -8,7 +8,7 @@
  <NetStandard2Supported>false</NetStandard2Supported>
  <Framework462Supported>false</Framework462Supported>
  <NetCore31Supported>false</NetCore31Supported>
- <Net5Supported>false</Net5Supported>
+ <Net6Supported>false</Net6Supported>
  <IsPackable>false</IsPackable>
  <NoWarn>$(NoWarn);</NoWarn>
  </PropertyGroup>

Tools/GenDoc/GenDoc.csproj

@@ -8,7 +8,7 @@
  <NetStandard2Supported>false</NetStandard2Supported>
  <Framework462Supported>false</Framework462Supported>
  <NetCore31Supported>false</NetCore31Supported>
- <Net5Supported>false</Net5Supported>
+ <Net6Supported>false</Net6Supported>
  <IsPackable>false</IsPackable>
  </PropertyGroup>
  <Import Project="..\..\Common\build.props" />

docs/get-started/build-source.md

@@ -8,7 +8,7 @@ the github repo</a>
 
 ### Prerequisites
 
-- [.NET 6.0 SDK](https://dotnet.microsoft.com/download/dotnet)
+- [.NET 7.0 SDK](https://dotnet.microsoft.com/download/dotnet)
 
 **Optional:**
 

docs/get-started/install.md

@@ -10,6 +10,7 @@ frameworks supported by Coyote:
 
 | Target Framework | Operating System |
 | :-------------------: | :-------------------: |
+| .NET 7.0 | Linux, macOS, Windows |
 | .NET 6.0 | Linux, macOS, Windows |
 | .NET Core 3.1 | Linux, macOS, Windows |
 | .NET Standard 2.0 | Linux, macOS, Windows |

docs/samples/actors/failover-robot-navigator.md

@@ -110,7 +110,7 @@ before coding and pushing to production.
 To run the `DrinksServingRobotActors` example, you will need to:
 
 - Install [Visual Studio 2022](https://visualstudio.microsoft.com/downloads/).
-- Install the [.NET 6.0 version of the coyote tool](../../get-started/install.md).
+- Install the [.NET 7.0 version of the coyote tool](../../get-started/install.md).
 - Be familiar with the `coyote` tool. See [using Coyote](../../get-started/using-coyote.md).
 - Clone the [Coyote git repo](http://github.com/microsoft/coyote).
 

docs/samples/actors/failure-detector.md

@@ -11,7 +11,7 @@ late at night scratching your head. Read further to learn how to find this bug u
 You will also need to:
 
 - Install [Visual Studio 2022](https://visualstudio.microsoft.com/downloads/).
-- Install the [.NET 6.0 version of the coyote tool](../../get-started/install.md).
+- Install the [.NET 7.0 version of the coyote tool](../../get-started/install.md).
 - Be familiar with the `coyote` tool. See [using Coyote](../../get-started/using-coyote.md).
 - Clone the [Coyote git repo](http://github.com/microsoft/coyote).
 

docs/samples/tasks/bounded-buffer.md

@@ -10,7 +10,7 @@ article](https://cloudblogs.microsoft.com/opensource/2020/07/14/extreme-programm
 To run the `BoundedBuffer` example, you will need to:
 
 - Install [Visual Studio 2022](https://visualstudio.microsoft.com/downloads/).
-- Install the [.NET 6.0 version of the coyote tool](../../get-started/install.md).
+- Install the [.NET 7.0 version of the coyote tool](../../get-started/install.md).
 - Be familiar with the `coyote` tool. See [using Coyote](../../get-started/using-coyote.md).
 - Clone the [Coyote git repo](http://github.com/microsoft/coyote).
 

docs/tutorials/actors/hello-world.md

@@ -10,7 +10,7 @@ model](../../concepts/actors/overview.md).
 To run the Hello World Actors example, you will need to:
 
 - Install [Visual Studio 2022](https://visualstudio.microsoft.com/downloads/).
-- Install the [.NET 6.0 version of the coyote tool](../../get-started/install.md).
+- Install the [.NET 7.0 version of the coyote tool](../../get-started/install.md).
 - Be familiar with the `coyote` tool. See [using Coyote](../../get-started/using-coyote.md).
 - Clone the [Coyote git repo](http://github.com/microsoft/coyote).
 

docs/tutorials/actors/raft-azure.md

@@ -31,7 +31,7 @@ is called the `Azure CLI`.
 You will also need to:
 
 - Install [Visual Studio 2022](https://visualstudio.microsoft.com/downloads/).
-- Install the [.NET 6.0 version of the coyote tool](../../get-started/install.md).
+- Install the [.NET 7.0 version of the coyote tool](../../get-started/install.md).
 - Be familiar with the `coyote` tool. See [using Coyote](../../get-started/using-coyote.md).
 - Clone the [Coyote git repo](http://github.com/microsoft/coyote).
 

docs/tutorials/actors/raft-mocking.md

@@ -19,7 +19,7 @@ you achieve a high level of confidence that the code is rock solid.
 You will also need to:
 
 - Install [Visual Studio 2022](https://visualstudio.microsoft.com/downloads/).
-- Install the [.NET 6.0 version of the coyote tool](../../get-started/install.md).
+- Install the [.NET 7.0 version of the coyote tool](../../get-started/install.md).
 - Be familiar with the `coyote` tool. See [using Coyote](../../get-started/using-coyote.md).
 - Clone the [Coyote git repo](http://github.com/microsoft/coyote).
 

docs/tutorials/actors/test-failover.md

@@ -64,7 +64,7 @@ it happens after failover just to prove the usefulness of this testing methodolo
 To run the `CoffeeMachine` example, you will need to:
 
 - Install [Visual Studio 2022](https://visualstudio.microsoft.com/downloads/).
-- Install the [.NET 6.0 version of the coyote tool](../../get-started/install.md).
+- Install the [.NET 7.0 version of the coyote tool](../../get-started/install.md).
 - Be familiar with the `coyote` tool. See [using Coyote](../../get-started/using-coyote.md).
 - Clone the [Coyote git repo](http://github.com/microsoft/coyote).
 

docs/tutorials/first-concurrency-unit-test.md

@@ -17,7 +17,7 @@ you in writing correct concurrent code.
 To run the code in this tutorial, you will need to:
 
 - Install [Visual Studio 2022](https://visualstudio.microsoft.com/downloads/).
-- Install the [.NET 6.0 version of the coyote tool](../get-started/install.md).
+- Install the [.NET 7.0 version of the coyote tool](../get-started/install.md).
 - Be familiar with the `coyote` tool. See [using Coyote](../get-started/using-coyote.md).
 - Clone the [Coyote git repo](http://github.com/microsoft/coyote).
 

docs/tutorials/mocks/mock-dependencies.md

@@ -24,7 +24,7 @@ means that using locks in your code will not help you in writing correct concurr
 To run the code in this tutorial, you will need to:
 
 - Install [Visual Studio 2022](https://visualstudio.microsoft.com/downloads/).
-- Install the [.NET 6.0 version of the coyote tool](../../get-started/install.md).
+- Install the [.NET 7.0 version of the coyote tool](../../get-started/install.md).
 - Be familiar with the `coyote` tool. See [using Coyote](../../get-started/using-coyote.md).
 - Clone the [Coyote git repo](http://github.com/microsoft/coyote).
 - Go through the [write your first concurrency unit test](../first-concurrency-unit-test.md) tutorial.

docs/tutorials/mocks/optimistic-concurrency-control.md

@@ -27,7 +27,7 @@ trivial.
 To run the code in this tutorial, you will need to:
 
 - Install [Visual Studio 2022](https://visualstudio.microsoft.com/downloads/).
-- Install the [.NET 6.0 version of the coyote tool](../../get-started/install.md).
+- Install the [.NET 7.0 version of the coyote tool](../../get-started/install.md).
 - Be familiar with the `coyote` tool. See [using Coyote](../../get-started/using-coyote.md).
 - Clone the [Coyote git repo](http://github.com/microsoft/coyote).
 - Go through the [mocking dependencies for testing](mock-dependencies.md) tutorial.

docs/tutorials/test-concurrent-operations.md

@@ -14,7 +14,7 @@ In this follow-up tutorial, you will write a few more tests that exercise the co
 To run the code in this tutorial, you will need to:
 
 - Install [Visual Studio 2022](https://visualstudio.microsoft.com/downloads/).
-- Install the [.NET 6.0 version of the coyote tool](../get-started/install.md).
+- Install the [.NET 7.0 version of the coyote tool](../get-started/install.md).
 - Be familiar with the `coyote` tool. See [using Coyote](../get-started/using-coyote.md).
 - Clone the [Coyote git repo](http://github.com/microsoft/coyote).
 - Go through the [write your first concurrency unit test](first-concurrency-unit-test.md) tutorial.

docs/tutorials/test-failover.md

@@ -60,7 +60,7 @@ it happens after failover just to prove the usefulness of this testing methodolo
 To run the `CoffeeMachine` example, you will need to:
 
 - Install [Visual Studio 2022](https://visualstudio.microsoft.com/downloads/).
-- Install the [.NET 6.0 version of the coyote tool](../get-started/install.md).
+- Install the [.NET 7.0 version of the coyote tool](../get-started/install.md).
 - Be familiar with the `coyote` tool. See [using Coyote](../get-started/using-coyote.md).
 - Clone the [Coyote git repo](http://github.com/microsoft/coyote).
 

docs/tutorials/testing-aspnet-service.md

@@ -12,7 +12,7 @@ Coyote and you can run the web front end using the Azure storage emulators.
 You will also need to:
 
 - Install [Visual Studio 2022](https://visualstudio.microsoft.com/downloads/).
-- Install the [.NET 6.0 version of the coyote tool](../get-started/install.md).
+- Install the [.NET 7.0 version of the coyote tool](../get-started/install.md).
 - Be familiar with the `coyote` tool. See [using Coyote](../get-started/using-coyote.md).
 - Clone the [Coyote git repo](http://github.com/microsoft/coyote).
 

global.json

@@ -1,5 +1,5 @@
 {
  "sdk": {
- "version": "6.0.402"
+ "version": "7.0.100"
  }
 }