From 3288136e57a9002145d447006cb6b2506cff4343 Mon Sep 17 00:00:00 2001
From: "dependabot[bot]" <49699333+dependabot[bot]@users.noreply.github.com>
Date: Mon, 19 Oct 2026 10:05:23 +0000
Subject: [PATCH] Bump FsCheck from 3.3.4 to 3.5.0

---
updated-dependencies:
- dependency-name: FsCheck
  dependency-version: 3.5.0
  dependency-type: direct:production
  update-type: version-update:semver-minor
...

Signed-off-by: dependabot[bot] <support@github.com>
---
 Directory.Packages.props        | 2 +-
 FuzzingTests/packages.lock.json | 6 +++---
 2 files changed, 4 insertions(+), 4 deletions(-)

diff --git a/Directory.Packages.props b/Directory.Packages.props
index 68a66aa..43245f0 100644
--- a/Directory.Packages.props
+++ b/Directory.Packages.props
@@ -13,6 +13,6 @@ SPDX-License-Identifier: MIT
     <PackageVersion Include="JunitXml.TestLogger" Version="8.0.0" />
     <PackageVersion Include="Moq" Version="4.21.0" />
     <!-- fuzzing tests -->
-    <PackageVersion Include="FsCheck" Version="3.3.4" />
+    <PackageVersion Include="FsCheck" Version="3.5.0" />
   </ItemGroup>
 </Project>
\ No newline at end of file
diff --git a/FuzzingTests/packages.lock.json b/FuzzingTests/packages.lock.json
index 6925520..0d739ec 100644
--- a/FuzzingTests/packages.lock.json
+++ b/FuzzingTests/packages.lock.json
@@ -4,9 +4,9 @@
     "net10.0": {
       "FsCheck": {
         "type": "Direct",
-        "requested": "[3.3.4, )",
-        "resolved": "3.3.4",
-        "contentHash": "Gintz/p4eTVb3EW3P8tg5wZB66sHbUBO42kHwuDZJ9BRHurOuC3+JF5YPq4rfeURMxuGs5YgzW/DDneIUsTNqA==",
+        "requested": "[3.5.0, )",
+        "resolved": "3.5.0",
+        "contentHash": "olekPbZ9M09t1qRK6yXfzvyA/eiLFXK2obJ0BAkk7reEoohbO/6ac8ISbCD3murRnQbwT04TUZKT3boFDUe4kw==",
         "dependencies": {
           "FSharp.Core": "5.0.2"
         }