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 · 864d091 · 864d091
1 parent 615762c
commit 864d091
Show file tree

Hide file tree

Showing 5 changed files with 330 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/Cargo.toml b/crypto-bigint/Cargo.toml
@@ -24,6 +24,8 @@ zeroize = { version = "1", optional = true,  default-features = false }
 
 [dev-dependencies]
 hex-literal = "0.3"
+num-bigint = "0.4"
+proptest = "1"
 
 [features]
 default = ["rand"]

diff --git a/crypto-bigint/src/uint/mul.rs b/crypto-bigint/src/uint/mul.rs
@@ -44,7 +44,7 @@ impl<const LIMBS: usize> UInt<LIMBS> {
 
     /// Perform wrapping multiplication, discarding overflow.
     pub const fn wrapping_mul(&self, rhs: &Self) -> Self {
-        self.mul_wide(rhs).0
+        self.mul_wide(rhs).1
     }
 
     /// Perform checked multiplication, returning a [`CtOption`] which `is_some`