Chore: adding test utils crate

chips/tests/integration_test.rs

@@ -8,7 +8,8 @@ use p3_matrix::dense::DenseMatrix;
 use p3_maybe_rayon::prelude::IntoParallelRefIterator;
 use p3_uni_stark::StarkGenericConfig;
 
-use std::{iter, sync::Arc};
+use std::iter;
+use std::sync::Arc;
 
 use afs_chips::range;
 mod list;

chips/tests/list/mod.rs

@@ -33,7 +33,7 @@ impl<const MAX: u32> ListChip<MAX> {
         self.bus_index
     }
 
-    pub fn vals(&self) -> &Vec<u32> {
+    pub fn vals(&self) -> &[u32] {
         &self.vals
     }
 }

stark-backend/Cargo.toml

@@ -27,6 +27,7 @@ derivative = "2.2.0"
 rand = "0.8.5"
 tracing-subscriber = { version = "0.3.17", features = ["std", "env-filter"] }
 tracing-forest = { version = "0.1.6", features = ["ansi", "smallvec"] }
+test-utils = { path = "../test-utils"}
 
 p3-dft = { workspace = true }
 p3-merkle-tree = { workspace = true }

stark-backend/tests/integration_test.rs

@@ -1,35 +1,23 @@
 #![feature(trait_upcasting)]
 #![allow(incomplete_features)]
 
-use afs_stark_backend::keygen::types::SymbolicRap;
 use afs_stark_backend::keygen::MultiStarkKeygenBuilder;
 use afs_stark_backend::prover::trace::TraceCommitmentBuilder;
-use afs_stark_backend::prover::types::ProverRap;
 use afs_stark_backend::prover::MultiTraceStarkProver;
-use afs_stark_backend::verifier::types::VerifierRap;
 use afs_stark_backend::verifier::MultiTraceStarkVerifier;
 use p3_baby_bear::BabyBear;
 use p3_field::AbstractField;
 use p3_uni_stark::StarkGenericConfig;
 
-mod cached_lookup;
-mod config;
 mod fib_air;
 mod fib_selector_air;
 mod fib_triples_air;
 pub mod interaction;
 mod partitioned_sum_air;
-/// Test utils
-mod utils;
 
-trait ProverVerifierRap<SC: StarkGenericConfig>:
-    ProverRap<SC> + VerifierRap<SC> + SymbolicRap<SC>
-{
-}
-impl<SC: StarkGenericConfig, RAP: ProverRap<SC> + VerifierRap<SC> + SymbolicRap<SC>>
-    ProverVerifierRap<SC> for RAP
-{
-}
+/// Test utils
+use test_utils::config;
+use test_utils::utils;
 
 #[test]
 fn test_single_fib_stark() {