crypto-bigint: add init proptests for equivalence with num-bigint

Adds an initial set of property-based tests to check equivalence between `crypto_bigint::U256` and `num_bigint::BigUint`.
RustCrypto · Jul 29, 2021 · 8aed700 · 8aed700
1 parent 615762c
commit 8aed700
Show file tree

Hide file tree

Showing 6 changed files with 344 additions and 1 deletion.
diff --git a/.gitignore b/.gitignore
@@ -1,2 +1,3 @@
 target
 **/Cargo.lock
+**/*.proptest-regressions
diff --git a/Cargo.lock b/Cargo.lock
diff --git a/crypto-bigint/proptests/Cargo.toml b/crypto-bigint/proptests/Cargo.toml
@@ -0,0 +1,16 @@
+[package]
+name = "proptests"
+version = "0.0.0"
+edition = "2018"
+publish = false
+
+[lib]
+path = "./lib.rs"
+
+[workspace]
+members = ["."]
+
+[dependencies]
+crypto-bigint = { path = ".." }
+num-bigint = "0.4"
+proptest = "1"
diff --git a/crypto-bigint/proptests/lib.rs b/crypto-bigint/proptests/lib.rs