Merge branch 'main' into logging

gskorokhod · Mar 27, 2024 · dae2b85 · dae2b85
2 parents 21c5fca + 57511c8
commit dae2b85
Show file tree

Hide file tree

Showing 10 changed files with 1,052 additions and 1 deletion.
diff --git a/Cargo.lock b/Cargo.lock
diff --git a/crates/uniplate/Cargo.toml b/crates/uniplate/Cargo.toml
@@ -8,7 +8,13 @@ license = "MPL-2.0"
 [lib]
 
 [dependencies]
+im = {version = "15.1.0", features = ["proptest"]}
+proptest = "1.4.0"
+proptest-derive = "0.4.0"
 thiserror = "1.0.58"
 
 [lints]
 workspace = true
+
+[features]
+unstable = []
diff --git a/crates/uniplate/proptest-regressions/tree.txt b/crates/uniplate/proptest-regressions/tree.txt
@@ -0,0 +1,8 @@
+# Seeds for failure cases proptest has generated in the past. It is
+# automatically read and these particular cases re-run before any
+# novel cases are generated.
+#
+# It is recommended to check this file in to source control so that
+# everyone who runs the test benefits from these saved cases.
+cc db979479dc04be5c55cf5365769549acc7affaa0c3e841682c420d0ab1bf4b8b # shrinks to tree = Many([Many([Many([One(0), Zero])])])
+cc 82688be15aaa0320dd3d8007c57fa67e371d606f36467f10a98047e00d4670c2 # shrinks to tree = Many([Many([One(2147443015)])]), diff = 40633