diff --git a/Arke.Tests/Arke.Tests.csproj b/Arke.Tests/Arke.Tests.csproj
index c5a3639..cfac795 100644
--- a/Arke.Tests/Arke.Tests.csproj
+++ b/Arke.Tests/Arke.Tests.csproj
@@ -8,7 +8,7 @@
 
   <ItemGroup>
     <PackageReference Include="Microsoft.Coyote" Version="1.4.3" />
-    <PackageReference Include="Microsoft.Coyote.Test" Version="1.4.3" />
+    <PackageReference Include="Microsoft.Coyote.Test" Version="1.7.11" />
     <PackageReference Include="Microsoft.NET.Test.Sdk" Version="17.1.0" />
     <PackageReference Include="Moq" Version="4.18.4" />
     <PackageReference Include="xunit" Version="2.4.1" />