From 99f127480f73612c294ef5f73ccdfe687e972f2e Mon Sep 17 00:00:00 2001
From: "dependabot[bot]" <49699333+dependabot[bot]@users.noreply.github.com>
Date: Thu, 15 Dec 2022 10:03:31 +0000
Subject: [PATCH] Bump Microsoft.Coyote from 1.4.3 to 1.7.3

Bumps [Microsoft.Coyote](https://github.com/microsoft/coyote) from 1.4.3 to 1.7.3.
- [Release notes](https://github.com/microsoft/coyote/releases)
- [Changelog](https://github.com/microsoft/coyote/blob/main/History.md)
- [Commits](https://github.com/microsoft/coyote/commits)

---
updated-dependencies:
- dependency-name: Microsoft.Coyote
  dependency-type: direct:production
  update-type: version-update:semver-minor
...

Signed-off-by: dependabot[bot] <support@github.com>
---
 Arke.DSL/Arke.DSL.csproj                                 | 2 +-
 Arke.DependencyInjection/Arke.DependencyInjection.csproj | 2 +-
 Arke.IVR/Arke.IVR.csproj                                 | 2 +-
 Arke.ManagementApi/Arke.ManagementApi.csproj             | 2 +-
 Arke.ServiceHost/Arke.ServiceHost.csproj                 | 2 +-
 Arke.SipEngine/Arke.SipEngine.csproj                     | 2 +-
 Arke.Steps/Arke.Steps.csproj                             | 2 +-
 Arke.Tests/Arke.Tests.csproj                             | 2 +-
 8 files changed, 8 insertions(+), 8 deletions(-)

diff --git a/Arke.DSL/Arke.DSL.csproj b/Arke.DSL/Arke.DSL.csproj
index c4ea18c..3f55367 100644
--- a/Arke.DSL/Arke.DSL.csproj
+++ b/Arke.DSL/Arke.DSL.csproj
@@ -14,7 +14,7 @@
   </PropertyGroup>
 
   <ItemGroup>
-    <PackageReference Include="Microsoft.Coyote" Version="1.4.3" />
+    <PackageReference Include="Microsoft.Coyote" Version="1.7.3" />
     <PackageReference Include="Microsoft.Extensions.DependencyModel" Version="6.0.0" />
     <PackageReference Include="Newtonsoft.Json" Version="13.0.1" />
   </ItemGroup>
diff --git a/Arke.DependencyInjection/Arke.DependencyInjection.csproj b/Arke.DependencyInjection/Arke.DependencyInjection.csproj
index 03aba54..0eb413d 100644
--- a/Arke.DependencyInjection/Arke.DependencyInjection.csproj
+++ b/Arke.DependencyInjection/Arke.DependencyInjection.csproj
@@ -16,7 +16,7 @@
   </PropertyGroup>
 
   <ItemGroup>
-    <PackageReference Include="Microsoft.Coyote" Version="1.4.3" />
+    <PackageReference Include="Microsoft.Coyote" Version="1.7.3" />
     <PackageReference Include="Microsoft.Extensions.DependencyModel" Version="6.0.0" />
     <PackageReference Include="Serilog" Version="2.10.0" />
     <PackageReference Include="Serilog.Settings.Configuration" Version="3.3.0" />
diff --git a/Arke.IVR/Arke.IVR.csproj b/Arke.IVR/Arke.IVR.csproj
index 974d9d6..14583e6 100644
--- a/Arke.IVR/Arke.IVR.csproj
+++ b/Arke.IVR/Arke.IVR.csproj
@@ -22,7 +22,7 @@
 
   <ItemGroup>
     <PackageReference Include="Arke.ARI" Version="1.3.0" />
-    <PackageReference Include="Microsoft.Coyote" Version="1.4.3" />
+    <PackageReference Include="Microsoft.Coyote" Version="1.7.3" />
     <PackageReference Include="Microsoft.Extensions.Configuration" Version="6.0.0" />
     <PackageReference Include="Microsoft.Extensions.Configuration.Json" Version="6.0.0" />
   </ItemGroup>
diff --git a/Arke.ManagementApi/Arke.ManagementApi.csproj b/Arke.ManagementApi/Arke.ManagementApi.csproj
index 82cc8c7..e39b90a 100644
--- a/Arke.ManagementApi/Arke.ManagementApi.csproj
+++ b/Arke.ManagementApi/Arke.ManagementApi.csproj
@@ -29,7 +29,7 @@
   <ItemGroup>
     <PackageReference Include="Microsoft.AspNetCore" Version="2.2.0" />
     <PackageReference Include="Microsoft.AspNetCore.Mvc" Version="2.2.0" />
-    <PackageReference Include="Microsoft.Coyote" Version="1.4.3" />
+    <PackageReference Include="Microsoft.Coyote" Version="1.7.3" />
   </ItemGroup>
 
   <ItemGroup>
diff --git a/Arke.ServiceHost/Arke.ServiceHost.csproj b/Arke.ServiceHost/Arke.ServiceHost.csproj
index 10cae78..187b9bd 100644
--- a/Arke.ServiceHost/Arke.ServiceHost.csproj
+++ b/Arke.ServiceHost/Arke.ServiceHost.csproj
@@ -15,7 +15,7 @@
   </ItemGroup>
 
   <ItemGroup>
-    <PackageReference Include="Microsoft.Coyote" Version="1.4.3" />
+    <PackageReference Include="Microsoft.Coyote" Version="1.7.3" />
     <PackageReference Include="Microsoft.Extensions.Configuration.Json" Version="6.0.0" />
     <PackageReference Include="Microsoft.Identity.Web" Version="1.23.0" />
     <PackageReference Include="Serilog.Extensions.Hosting" Version="4.2.0" />
diff --git a/Arke.SipEngine/Arke.SipEngine.csproj b/Arke.SipEngine/Arke.SipEngine.csproj
index e4d3879..2add95c 100644
--- a/Arke.SipEngine/Arke.SipEngine.csproj
+++ b/Arke.SipEngine/Arke.SipEngine.csproj
@@ -36,7 +36,7 @@
 
   <ItemGroup>
     <PackageReference Include="libphonenumber-csharp" Version="8.12.43" />
-    <PackageReference Include="Microsoft.Coyote" Version="1.4.3" />
+    <PackageReference Include="Microsoft.Coyote" Version="1.7.3" />
     <PackageReference Include="Microsoft.Extensions.PlatformAbstractions" Version="1.1.0" />
     <PackageReference Include="Newtonsoft.Json" Version="13.0.1" />
     <PackageReference Include="RestSharp" Version="106.11.7" />
diff --git a/Arke.Steps/Arke.Steps.csproj b/Arke.Steps/Arke.Steps.csproj
index a6ae91e..644ffd4 100644
--- a/Arke.Steps/Arke.Steps.csproj
+++ b/Arke.Steps/Arke.Steps.csproj
@@ -23,7 +23,7 @@
   </ItemGroup>
 
   <ItemGroup>
-    <PackageReference Include="Microsoft.Coyote" Version="1.4.3" />
+    <PackageReference Include="Microsoft.Coyote" Version="1.7.3" />
     <PackageReference Include="Microsoft.Extensions.Configuration" Version="6.0.0" />
     <PackageReference Include="Newtonsoft.Json" Version="13.0.1" />
     <PackageReference Include="SimpleInjector.Packaging" Version="5.0.0" />
diff --git a/Arke.Tests/Arke.Tests.csproj b/Arke.Tests/Arke.Tests.csproj
index 457bbdb..e54fb09 100644
--- a/Arke.Tests/Arke.Tests.csproj
+++ b/Arke.Tests/Arke.Tests.csproj
@@ -7,7 +7,7 @@
   </PropertyGroup>
 
   <ItemGroup>
-    <PackageReference Include="Microsoft.Coyote" Version="1.4.3" />
+    <PackageReference Include="Microsoft.Coyote" Version="1.7.3" />
     <PackageReference Include="Microsoft.Coyote.Test" Version="1.4.3" />
     <PackageReference Include="Microsoft.NET.Test.Sdk" Version="17.1.0" />
     <PackageReference Include="Moq" Version="4.16.1" />