From 8d128368d9a8588b08a83be3bee46b08641c8d8b Mon Sep 17 00:00:00 2001 From: cliff0412 Date: Tue, 2 Apr 2024 15:41:48 +0800 Subject: [PATCH] skip unnecessary tests --- plonky2/examples/bench_recursion.rs | 3 -- plonky2/src/lookup_test.rs | 36 --------------------- plonky2/src/recursion/recursive_verifier.rs | 4 +++ 3 files changed, 4 insertions(+), 39 deletions(-) diff --git a/plonky2/examples/bench_recursion.rs b/plonky2/examples/bench_recursion.rs index 99ea0633bb..7bf457d5c3 100644 --- a/plonky2/examples/bench_recursion.rs +++ b/plonky2/examples/bench_recursion.rs @@ -3,14 +3,11 @@ // put it in `src/bin/`, but then we wouldn't have access to // `[dev-dependencies]`. -<<<<<<< HEAD -======= #[cfg(not(feature = "std"))] extern crate alloc; #[cfg(not(feature = "std"))] use alloc::sync::Arc; ->>>>>>> upstream/main use core::num::ParseIntError; use core::ops::RangeInclusive; use core::str::FromStr; diff --git a/plonky2/src/lookup_test.rs b/plonky2/src/lookup_test.rs index f20c2d48d2..4e97bd9601 100644 --- a/plonky2/src/lookup_test.rs +++ b/plonky2/src/lookup_test.rs @@ -130,18 +130,9 @@ fn test_one_lookup() -> anyhow::Result<()> { // Tests one lookup in two different lookup tables. #[test] -<<<<<<< HEAD #[ignore] -pub fn test_two_luts() -> anyhow::Result<()> { - use crate::field::types::Field; - use crate::iop::witness::{PartialWitness, WitnessWrite}; - use crate::plonk::circuit_builder::CircuitBuilder; - use crate::plonk::circuit_data::CircuitConfig; - use crate::plonk::config::{GenericConfig, PoseidonGoldilocksConfig}; -======= fn test_two_luts() -> anyhow::Result<()> { init_logger(); ->>>>>>> upstream/main let config = CircuitConfig::standard_recursion_config(); let mut builder = CircuitBuilder::::new(config); @@ -215,18 +206,9 @@ fn test_two_luts() -> anyhow::Result<()> { } #[test] -<<<<<<< HEAD #[ignore] -pub fn test_different_inputs() -> anyhow::Result<()> { - use crate::field::types::Field; - use crate::iop::witness::{PartialWitness, WitnessWrite}; - use crate::plonk::circuit_builder::CircuitBuilder; - use crate::plonk::circuit_data::CircuitConfig; - use crate::plonk::config::{GenericConfig, PoseidonGoldilocksConfig}; -======= fn test_different_inputs() -> anyhow::Result<()> { init_logger(); ->>>>>>> upstream/main let config = CircuitConfig::standard_recursion_config(); let mut builder = CircuitBuilder::::new(config); @@ -302,18 +284,9 @@ fn test_different_inputs() -> anyhow::Result<()> { // This test looks up over 514 values for one LookupTableGate, which means that several LookupGates are created. #[test] -<<<<<<< HEAD #[ignore] -pub fn test_many_lookups() -> anyhow::Result<()> { - use crate::field::types::Field; - use crate::iop::witness::{PartialWitness, WitnessWrite}; - use crate::plonk::circuit_builder::CircuitBuilder; - use crate::plonk::circuit_data::CircuitConfig; - use crate::plonk::config::{GenericConfig, PoseidonGoldilocksConfig}; -======= fn test_many_lookups() -> anyhow::Result<()> { init_logger(); ->>>>>>> upstream/main let config = CircuitConfig::standard_recursion_config(); let mut builder = CircuitBuilder::::new(config); @@ -394,18 +367,9 @@ fn test_many_lookups() -> anyhow::Result<()> { // Tests whether, when adding the same LUT to the circuit, the circuit only adds one copy, with the same index. #[test] -<<<<<<< HEAD #[ignore] -pub fn test_same_luts() -> anyhow::Result<()> { - use crate::field::types::Field; - use crate::iop::witness::{PartialWitness, WitnessWrite}; - use crate::plonk::circuit_builder::CircuitBuilder; - use crate::plonk::circuit_data::CircuitConfig; - use crate::plonk::config::{GenericConfig, PoseidonGoldilocksConfig}; -======= fn test_same_luts() -> anyhow::Result<()> { init_logger(); ->>>>>>> upstream/main let config = CircuitConfig::standard_recursion_config(); let mut builder = CircuitBuilder::::new(config); diff --git a/plonky2/src/recursion/recursive_verifier.rs b/plonky2/src/recursion/recursive_verifier.rs index 02970f851a..1cd3acda19 100644 --- a/plonky2/src/recursion/recursive_verifier.rs +++ b/plonky2/src/recursion/recursive_verifier.rs @@ -216,6 +216,7 @@ mod tests { use crate::util::timing::TimingTree; #[test] + #[ignore] fn test_recursive_verifier() -> Result<()> { init_logger(); const D: usize = 2; @@ -283,6 +284,7 @@ mod tests { } #[test] + #[ignore] fn test_recursive_recursive_verifier() -> Result<()> { init_logger(); const D: usize = 2; @@ -389,6 +391,7 @@ mod tests { } #[test] + #[ignore] fn test_recursive_verifier_multi_hash() -> Result<()> { init_logger(); const D: usize = 2; @@ -684,6 +687,7 @@ mod tests { } /// Test serialization and print some size info. + /// TODO: need to fix this, many tests rely on this fn test_serialization< F: RichField + Extendable, C: GenericConfig,