lint

zkmopro · Dec 24, 2024 · 27fd973 · 27fd973
1 parent 715a224
commit 27fd973
Show file tree

Hide file tree

Showing 3 changed files with 11 additions and 12 deletions.
diff --git a/mopro-msm/src/msm/metal_msm/tests/bigint/bigint_add_unsafe.rs b/mopro-msm/src/msm/metal_msm/tests/bigint/bigint_add_unsafe.rs
@@ -21,10 +21,10 @@ pub fn test_bigint_add_unsafe() {
     let (a, b, expected) = loop {
         let a = BigInt::rand(&mut rng);
         let b = BigInt::rand(&mut rng);
-        
+
         let mut expected = a.clone();
         let overflow = expected.add_with_carry(&b);
-        
+
         // Break the loop if addition does not overflow
         if !overflow {
             break (a, b, expected);

diff --git a/mopro-msm/src/msm/metal_msm/tests/bigint/bigint_add_wide.rs b/mopro-msm/src/msm/metal_msm/tests/bigint/bigint_add_wide.rs
@@ -9,7 +9,6 @@ use ark_ff::{BigInt, BigInteger, UniformRand};
 use ark_std::rand;
 use metal::*;
 
-
 #[test]
 #[serial_test::serial]
 pub fn test_bigint_add_no_overflow() {
@@ -22,10 +21,10 @@ pub fn test_bigint_add_no_overflow() {
     let (a, b, expected) = loop {
         let a = BigInt::rand(&mut rng);
         let b = BigInt::rand(&mut rng);
-        
+
         let mut expected = a.clone();
         let overflow = expected.add_with_carry(&b);
-        
+
         // Break the loop if addition does not overflow
         if !overflow {
             break (a, b, expected);
@@ -110,10 +109,10 @@ pub fn test_bigint_add_overflow() {
     let (a, b, expected) = loop {
         let a = BigInt::rand(&mut rng);
         let b = BigInt::rand(&mut rng);
-        
+
         let mut expected = a.clone();
         let overflow = expected.add_with_carry(&b);
-        
+
         // Break the loop if addition overflow
         if overflow {
             break (a, b, expected);
@@ -184,4 +183,4 @@ pub fn test_bigint_add_overflow() {
 
     let result = BigInt::from_limbs(&result_limbs, log_limb_size);
     assert_eq!(result, expected);
-}
+}
diff --git a/mopro-msm/src/msm/metal_msm/tests/bigint/bigint_sub.rs b/mopro-msm/src/msm/metal_msm/tests/bigint/bigint_sub.rs
@@ -21,10 +21,10 @@ pub fn test_bigint_sub_no_underflow() {
     let (a, b, expected) = loop {
         let a = BigInt::rand(&mut rng);
         let b = BigInt::rand(&mut rng);
-        
+
         let mut expected = a.clone();
         let underflow = expected.sub_with_borrow(&b);
-        
+
         // Break the loop if subtraction does not underflow
         if !underflow {
             break (a, b, expected);
@@ -107,10 +107,10 @@ fn test_bigint_sub_underflow() {
     let (a, b, expected) = loop {
         let a = BigInt::rand(&mut rng);
         let b = BigInt::rand(&mut rng);
-        
+
         let mut expected = a.clone();
         let underflow = expected.sub_with_borrow(&b);
-        
+
         // Break the loop if subtraction does not underflow
         if underflow {
             break (a, b, expected);