Skip to content

Commit

Permalink
cargo fmt
Browse files Browse the repository at this point in the history
  • Loading branch information
YaoGalteland committed May 28, 2024
1 parent 1ae0a31 commit adf4d0d
Show file tree
Hide file tree
Showing 5 changed files with 6 additions and 20 deletions.
4 changes: 1 addition & 3 deletions halo2_gadgets/src/ecc.rs
Original file line number Diff line number Diff line change
Expand Up @@ -596,9 +596,7 @@ pub(crate) mod tests {
FixedPoints,
};
use crate::{
tests::test_utils::{
test_against_stored_vk, test_against_stored_proof,
},
tests::test_utils::{test_against_stored_proof, test_against_stored_vk},
utilities::lookup_range_check::{LookupRangeCheck, PallasLookupRC10b},
};

Expand Down
4 changes: 1 addition & 3 deletions halo2_gadgets/src/sinsemilla.rs
Original file line number Diff line number Diff line change
Expand Up @@ -472,9 +472,7 @@ pub(crate) mod tests {
NonIdentityPoint, ScalarFixed,
},
sinsemilla::primitives::{self as sinsemilla, K},
tests::test_utils::{
test_against_stored_vk, test_against_stored_proof,
},
tests::test_utils::{test_against_stored_proof, test_against_stored_vk},
utilities::lookup_range_check::{LookupRangeCheck, PallasLookupRC10b},
};

Expand Down
4 changes: 1 addition & 3 deletions halo2_gadgets/src/sinsemilla/merkle.rs
Original file line number Diff line number Diff line change
Expand Up @@ -184,9 +184,7 @@ pub mod tests {
tests::{TestCommitDomain, TestHashDomain},
HashDomains,
},
tests::test_utils::{
test_against_stored_vk, test_against_stored_proof,
},
tests::test_utils::{test_against_stored_proof, test_against_stored_vk},
utilities::{
i2lebsp,
lookup_range_check::{LookupRangeCheck, PallasLookupRC10b},
Expand Down
10 changes: 2 additions & 8 deletions halo2_gadgets/src/tests/test_utils.rs
Original file line number Diff line number Diff line change
Expand Up @@ -69,10 +69,7 @@ impl Proof {
}

/// Test the generated vk against the stored vk.
pub(crate) fn test_against_stored_vk<C: Circuit<pallas::Base>>(
circuit: &C,
circuit_name: &str,
) {
pub(crate) fn test_against_stored_vk<C: Circuit<pallas::Base>>(circuit: &C, circuit_name: &str) {
let full_file_name = Path::new(TEST_DATA_DIR)
.join(format!("vk_{circuit_name}"))
.with_extension("rdata");
Expand Down Expand Up @@ -112,10 +109,7 @@ fn conditionally_save_proof_to_disk<C: Circuit<pallas::Base>>(
}

/// Test the generated circuit against the stored proof.
pub(crate) fn test_against_stored_proof<C: Circuit<pallas::Base>>(
circuit: C,
circuit_name: &str,
) {
pub(crate) fn test_against_stored_proof<C: Circuit<pallas::Base>>(circuit: C, circuit_name: &str) {
let full_file_name = Path::new(TEST_DATA_DIR)
.join(format!("proof_{circuit_name}"))
.with_extension("bin");
Expand Down
4 changes: 1 addition & 3 deletions halo2_gadgets/src/utilities/lookup_range_check.rs
Original file line number Diff line number Diff line change
Expand Up @@ -471,9 +471,7 @@ mod tests {
};
use pasta_curves::pallas;

use crate::tests::test_utils::{
test_against_stored_vk, test_against_stored_proof,
};
use crate::tests::test_utils::{test_against_stored_proof, test_against_stored_vk};
use std::{convert::TryInto, marker::PhantomData};

#[test]
Expand Down

0 comments on commit adf4d0d

Please sign in to comment.