From a22c7c991829c771da2b1760be586e5a26e7c75d Mon Sep 17 00:00:00 2001
From: "dependabot[bot]" <49699333+dependabot[bot]@users.noreply.github.com>
Date: Wed, 29 Oct 2025 23:55:54 +0000
Subject: [PATCH] build(deps): bump proptest-state-machine from 0.4.0 to 0.5.0
in /rust (#10725)
Bumps [proptest-state-machine](https://github.com/proptest-rs/proptest)
from 0.4.0 to 0.5.0.
Commits
2885bc2
new releases for proptest, proptest-macro, and state-machine
a85563f
Merge pull request #584
from wojciech-graj/main
5331517
Merge pull request #596
from alexanderkjall/fix-arithmetic-overflow
157f3c0
Merge pull request #595
from ebegumisa/main
02fa1fc
changelog: add #595
27fd76f
fix for 32 bit processors
d1716ca
Add ReferenceStateMachine arg to
SystemUnderTest::teardown
ea4ddeb
Merge pull request #594
from proptest-rs/attr-macro-preserve-arg-names
f80c1e6
fix shorthand struct initialization lint
b7590fa
add new test for complex patterns
- Additional commits viewable in compare
view
[](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)
---
Dependabot commands and options
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 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)
Signed-off-by: dependabot[bot]
Co-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>
---
rust/Cargo.lock | 9 ++++-----
rust/Cargo.toml | 2 +-
2 files changed, 5 insertions(+), 6 deletions(-)
diff --git a/rust/Cargo.lock b/rust/Cargo.lock
index 69f4f4d71..07c46d775 100644
--- a/rust/Cargo.lock
+++ b/rust/Cargo.lock
@@ -5728,14 +5728,13 @@ dependencies = [
[[package]]
name = "proptest"
-version = "1.7.0"
+version = "1.9.0"
source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "6fcdab19deb5195a31cf7726a210015ff1496ba1464fd42cb4f537b8b01b471f"
+checksum = "bee689443a2bd0a16ab0348b52ee43e3b2d1b1f931c8aa5c9f8de4c86fbe8c40"
dependencies = [
"bit-set",
"bit-vec",
"bitflags 2.9.1",
- "lazy_static",
"num-traits",
"rand 0.9.1",
"rand_chacha 0.9.0",
@@ -5748,9 +5747,9 @@ dependencies = [
[[package]]
name = "proptest-state-machine"
-version = "0.4.0"
+version = "0.5.0"
source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "53f556db2c446aa1f554a94938ea54bf16a37742bbb984dc5d8dcf6866b1dd5a"
+checksum = "05ad8988b889475b24ab3b485d0f3de21863077c2ff169b37e3c5b805fcff624"
dependencies = [
"proptest",
]
diff --git a/rust/Cargo.toml b/rust/Cargo.toml
index 16fb7842a..b4b179187 100644
--- a/rust/Cargo.toml
+++ b/rust/Cargo.toml
@@ -129,7 +129,7 @@ phoenix-channel = { path = "connlib/phoenix-channel" }
png = "0.17.16"
proc-macro2 = "1.0"
proptest = "1.7.0"
-proptest-state-machine = "0.4.0"
+proptest-state-machine = "0.5.0"
quinn-udp = { version = "0.5.12", features = ["fast-apple-datapath"] }
quote = "1.0"
rand = "0.8.5"