Skip to content

Commit

Permalink
skip unnecessary tests
Browse files Browse the repository at this point in the history
  • Loading branch information
cliff0412 committed Apr 2, 2024
1 parent 2b8a72a commit 8d12836
Show file tree
Hide file tree
Showing 3 changed files with 4 additions and 39 deletions.
3 changes: 0 additions & 3 deletions plonky2/examples/bench_recursion.rs
Original file line number Diff line number Diff line change
Expand Up @@ -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;
Expand Down
36 changes: 0 additions & 36 deletions plonky2/src/lookup_test.rs
Original file line number Diff line number Diff line change
Expand Up @@ -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::<F, D>::new(config);
Expand Down Expand Up @@ -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::<F, D>::new(config);
Expand Down Expand Up @@ -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::<F, D>::new(config);
Expand Down Expand Up @@ -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::<F, D>::new(config);
Expand Down
4 changes: 4 additions & 0 deletions plonky2/src/recursion/recursive_verifier.rs
Original file line number Diff line number Diff line change
Expand Up @@ -216,6 +216,7 @@ mod tests {
use crate::util::timing::TimingTree;

#[test]
#[ignore]
fn test_recursive_verifier() -> Result<()> {
init_logger();
const D: usize = 2;
Expand Down Expand Up @@ -283,6 +284,7 @@ mod tests {
}

#[test]
#[ignore]
fn test_recursive_recursive_verifier() -> Result<()> {
init_logger();
const D: usize = 2;
Expand Down Expand Up @@ -389,6 +391,7 @@ mod tests {
}

#[test]
#[ignore]
fn test_recursive_verifier_multi_hash() -> Result<()> {
init_logger();
const D: usize = 2;
Expand Down Expand Up @@ -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<D>,
C: GenericConfig<D, F = F>,
Expand Down

0 comments on commit 8d12836

Please sign in to comment.