From 08f6989391fb71f3bcfd85c1842b3e329cd48908 Mon Sep 17 00:00:00 2001
From: "dependabot[bot]" <49699333+dependabot[bot]@users.noreply.github.com>
Date: Wed, 22 Oct 2025 03:50:12 +0000
Subject: [PATCH] build(deps): bump proptest-state-machine from 0.3.1 to 0.4.0
 in /rust (#10633)

Bumps [proptest-state-machine](https://github.com/proptest-rs/proptest)
from 0.3.1 to 0.4.0.
<details>
<summary>Commits</summary>
<ul>
<li><a
href="https://github.com/proptest-rs/proptest/commit/c073d523dcecb5fe3e38fa7ec30ed3df06441cc1"><code>c073d52</code></a>
new releases for all crates (<a
href="https://redirect.github.com/proptest-rs/proptest/issues/578">#578</a>)</li>
<li><a
href="https://github.com/proptest-rs/proptest/commit/cea7a0215d5df62a80ab4471d32fe744809562b1"><code>cea7a02</code></a>
Merge pull request <a
href="https://redirect.github.com/proptest-rs/proptest/issues/574">#574</a>
from Nicolapps/nicolas/fix-proptest-derive-urls-in-er...</li>
<li><a
href="https://github.com/proptest-rs/proptest/commit/ff04a9e842404fa9e315256bbb830605cb6e9441"><code>ff04a9e</code></a>
Merge pull request <a
href="https://redirect.github.com/proptest-rs/proptest/issues/576">#576</a>
from proptest-rs/rand-0.9</li>
<li><a
href="https://github.com/proptest-rs/proptest/commit/febd329dc7d50c0d2be9aa48e1c40c670c866de9"><code>febd329</code></a>
fix state-machine shrinking on &lt;= 1 transitions</li>
<li><a
href="https://github.com/proptest-rs/proptest/commit/ba38531db85ded18756984c248e8748d22713e11"><code>ba38531</code></a>
Fix not seeding custom RNG algorithm properly</li>
<li><a
href="https://github.com/proptest-rs/proptest/commit/0730e7e98d8eb7c99fbb9243974dc4993798e0f5"><code>0730e7e</code></a>
Move from deprecated <code>Rng::gen()</code> to
<code>Rng::random()</code></li>
<li><a
href="https://github.com/proptest-rs/proptest/commit/d6a14ff8af85d5af99166303fa4481f6ade5d40b"><code>d6a14ff</code></a>
Custom <code>usize</code> and <code>isize</code> implementation</li>
<li><a
href="https://github.com/proptest-rs/proptest/commit/fc7543e62c46a839c9171f9d8548435e668ed0f9"><code>fc7543e</code></a>
update rand to 0.9</li>
<li><a
href="https://github.com/proptest-rs/proptest/commit/7683f5b69370853da6d5d632c917390bfe0e0a13"><code>7683f5b</code></a>
Fix URLs in proptest-derive error messages</li>
<li><a
href="https://github.com/proptest-rs/proptest/commit/f7f3600133746ae83bfe92989607333889e8838f"><code>f7f3600</code></a>
Merge pull request <a
href="https://redirect.github.com/proptest-rs/proptest/issues/573">#573</a>
from Nicolapps/nicolas/fix-test-name</li>
<li>Additional commits viewable in <a
href="https://github.com/proptest-rs/proptest/compare/proptest-state-machine-0.3.1...proptest-state-machine-0.4.0">compare
view</a></li>
</ul>
</details>
<br />


[![Dependabot compatibility
score](https://dependabot-badges.githubapp.com/badges/compatibility_score?dependency-name=proptest-state-machine&package-manager=cargo&previous-version=0.3.1&new-version=0.4.0)](https://docs.github.com/en/github/managing-security-vulnerabilities/about-dependabot-security-updates#about-compatibility-scores)

Dependabot will resolve any conflicts with this PR as long as you don't
alter it yourself. You can also trigger a rebase manually by commenting
`@dependabot rebase`.

[//]: # (dependabot-automerge-start)
[//]: # (dependabot-automerge-end)

---

<details>
<summary>Dependabot commands and options</summary>
<br />

You can trigger Dependabot actions by commenting on this PR:
- `@dependabot rebase` will rebase this PR
- `@dependabot recreate` will recreate this PR, overwriting any edits
that have been made to it
- `@dependabot merge` will merge this PR after your CI passes on it
- `@dependabot squash and merge` will squash and merge this PR after
your CI passes on it
- `@dependabot cancel merge` will cancel a previously requested merge
and block automerging
- `@dependabot reopen` will reopen this PR if it is closed
- `@dependabot close` will close this PR and stop Dependabot recreating
it. You can achieve the same result by closing it manually
- `@dependabot show <dependency name> ignore conditions` will show all
of the ignore conditions of the specified dependency
- `@dependabot ignore this major version` will close this PR and stop
Dependabot creating any more for this major version (unless you reopen
the PR or upgrade to it yourself)
- `@dependabot ignore this minor version` will close this PR and stop
Dependabot creating any more for this minor version (unless you reopen
the PR or upgrade to it yourself)
- `@dependabot ignore this dependency` will close this PR and stop
Dependabot creating any more for this dependency (unless you reopen the
PR or upgrade to it yourself)


</details>

Signed-off-by: dependabot[bot] <support@github.com>
Co-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>
---
 rust/Cargo.lock | 4 ++--
 rust/Cargo.toml | 2 +-
 2 files changed, 3 insertions(+), 3 deletions(-)

diff --git a/rust/Cargo.lock b/rust/Cargo.lock
index 8e853c3c8..80e9f9854 100644
--- a/rust/Cargo.lock
+++ b/rust/Cargo.lock
@@ -5737,9 +5737,9 @@ dependencies = [
 
 [[package]]
 name = "proptest-state-machine"
-version = "0.3.1"
+version = "0.4.0"
 source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "e943d140e09d07740fb496487c51fb8eb31c70389ac4a2e9dcd8a0d9fdf228d4"
+checksum = "53f556db2c446aa1f554a94938ea54bf16a37742bbb984dc5d8dcf6866b1dd5a"
 dependencies = [
  "proptest",
 ]
diff --git a/rust/Cargo.toml b/rust/Cargo.toml
index 6a6fde4a1..b4de57be0 100644
--- a/rust/Cargo.toml
+++ b/rust/Cargo.toml
@@ -128,7 +128,7 @@ phoenix-channel = { path = "connlib/phoenix-channel" }
 png = "0.17.16"
 proc-macro2 = "1.0"
 proptest = "1.7.0"
-proptest-state-machine = "0.3.1"
+proptest-state-machine = "0.4.0"
 quinn-udp = { version = "0.5.12", features = ["fast-apple-datapath"] }
 quote = "1.0"
 rand = "0.8.5"