CsCheck 3.0.0-rc3

AnthonyLloyd · Nov 2, 2023 · c3f2d7a · c3f2d7a
1 parent adaec90
commit c3f2d7a
Show file tree

Hide file tree

Showing 3 changed files with 4 additions and 4 deletions.
diff --git a/Tests/MapTests.cs b/Tests/MapTests.cs
@@ -17,8 +17,8 @@ public void Map_Set_ModelBased()
         .SampleModelBased(
             Gen.Select(Gen.Int[0, 100], Gen.Byte).Operation<Map<int, byte>, Dictionary<int, byte>>((map, dictionary, t) =>
             {
-                map[t.V0] = t.V1;
-                dictionary[t.V0] = t.V1;
+                map[t.Item1] = t.Item2;
+                dictionary[t.Item1] = t.Item2;
             })
         );
     }

diff --git a/Tests/Tests.csproj b/Tests/Tests.csproj
@@ -19,7 +19,7 @@
             <IncludeAssets>runtime; build; native; contentfiles; analyzers; buildtransitive</IncludeAssets>
             <PrivateAssets>all</PrivateAssets>
         </PackageReference>
-        <PackageReference Include="CsCheck" Version="2.10.0" />
+        <PackageReference Include="CsCheck" Version="3.0.0-rc3" />
         <ProjectReference Include="..\Optimized.Collections\Optimized.Collections.csproj" />
   </ItemGroup>
 </Project>
diff --git a/Tests/VecTests.cs b/Tests/VecTests.cs
@@ -107,7 +107,7 @@ public void Vec_Concurrency()
         .SampleConcurrent(
             Gen.Byte.Operation<Vec<byte>>((v, i) => { lock (v) v.Add(i); }),
             Gen.Int.NonNegative.Operation<Vec<byte>>((v, i) => { if (i < v.Count) { _ = v[i]; } }),
-            Gen.Int.NonNegative.Select(Gen.Byte).Operation<Vec<byte>>((v, t) => { if (t.V0 < v.Count) v[t.V0] = t.V1; }),
+            Gen.Int.NonNegative.Select(Gen.Byte).Operation<Vec<byte>>((v, t) => { if (t.Item1 < v.Count) v[t.Item1] = t.Item2; }),
             Gen.Operation<Vec<byte>>(v => v.ToArray()),
             Gen.Operation<Vec<byte>>(v => _ = v.Capacity)
         );