From 4f0e4e84ca23c4ed6acdc4316749fc6576471a6b Mon Sep 17 00:00:00 2001
From: "dependabot[bot]" <49699333+dependabot[bot]@users.noreply.github.com>
Date: Mon, 17 Jul 2023 02:02:36 +0000
Subject: [PATCH] Bump MSTest.TestAdapter from 3.0.4 to 3.1.1 in /src

Bumps [MSTest.TestAdapter](https://github.com/microsoft/testfx) from 3.0.4 to 3.1.1.
- [Release notes](https://github.com/microsoft/testfx/releases)
- [Changelog](https://github.com/microsoft/testfx/blob/main/docs/Changelog.md)
- [Commits](https://github.com/microsoft/testfx/compare/v3.0.4...v3.1.1)

---
updated-dependencies:
- dependency-name: MSTest.TestAdapter
  dependency-type: direct:production
  update-type: version-update:semver-minor
...

Signed-off-by: dependabot[bot] <support@github.com>
---
 src/Test.ConcurrencyTests/Test.ConcurrencyTests.csproj | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/Test.ConcurrencyTests/Test.ConcurrencyTests.csproj b/src/Test.ConcurrencyTests/Test.ConcurrencyTests.csproj
index 87e05ac3..8cfbfa58 100644
--- a/src/Test.ConcurrencyTests/Test.ConcurrencyTests.csproj
+++ b/src/Test.ConcurrencyTests/Test.ConcurrencyTests.csproj
@@ -17,7 +17,7 @@
 		<PackageReference Include="Microsoft.Coyote.Test" Version="$(CoyoteVersion)" />
 		<PackageReference Include="Microsoft.Coyote.Tool" Version="$(CoyoteVersion)" />
 		<PackageReference Include="Microsoft.NET.Test.Sdk" Version="17.6.3" />
-		<PackageReference Include="MSTest.TestAdapter" Version="3.0.4" />
+		<PackageReference Include="MSTest.TestAdapter" Version="3.1.1" />
 		<PackageReference Include="MSTest.TestFramework" Version="3.0.4" />
 	</ItemGroup>