Replace test-case with proptest

HULKs · Feb 16, 2025 · 45485c0 · 45485c0
1 parent 570ca6c
commit 45485c0
Show file tree

Hide file tree

Showing 4 changed files with 148 additions and 111 deletions.
diff --git a/Cargo.lock b/Cargo.lock
diff --git a/Cargo.toml b/Cargo.toml
@@ -172,6 +172,7 @@ prettyplease = "0.2.19"
 proc-macro-error = "1.0.4"
 proc-macro2 = { version = "1.0.44", features = ["span-locations"] }
 projection = { path = "crates/projection" }
+proptest = "1.6.0"
 quote = "1.0.21"
 rand = "0.8.5"
 rand_chacha = { version = "0.3.1", features = ["serde1"] }

diff --git a/crates/control/Cargo.toml b/crates/control/Cargo.toml
@@ -30,12 +30,12 @@ num-traits = { workspace = true }
 ordered-float = { workspace = true }
 path_serde = { workspace = true }
 projection = { workspace = true }
+proptest = { workspace = true }
 rand = { workspace = true }
 rand_chacha = { workspace = true }
 serde = { workspace = true }
 smallvec = { workspace = true }
 spl_network_messages = { workspace = true }
 splines = { workspace = true }
-test-case = "3.3.1"
 types = { workspace = true }
 walking_engine = { workspace = true }