full_test switch

.github/workflows/test.yaml

@@ -5,7 +5,7 @@ on:
   pull_request:
 
 jobs:
-  formatting-and-testing:
+  setup:
     runs-on: ubuntu-latest
     steps:
       - name: Checkout repository
@@ -27,12 +27,26 @@ jobs:
 
       - name: Provision Environment
         run: python install.py
-
+      
       - name: Format code
         run: cargo fmt --check
 
+      - name: Build
+        run: cargo build
+
+  tests:
+    needs: setup
+    runs-on: ubuntu-latest
+    steps:
       - name: Run cargo tests
         run: cargo test
 
       - name: Run snforge tests
-        run: snforge test
+        run: snforge test
+
+  full_tests:
+    needs: setup
+    runs-on: ubuntu-latest
+    steps:
+      - name: Run cargo full_tests
+        run: cargo test --features full_test

crates/prover/Cargo.toml

@@ -19,4 +19,7 @@ strum.workspace = true
 tempfile.workspace = true
 thiserror.workspace = true
 tokio.workspace = true
-tracing.workspace = true
+tracing.workspace = true
+
+[features]
+full_test = []

crates/prover/src/stone_prover/tests/mod.rs

@@ -1,6 +1,6 @@
 pub mod models;
 
-#[cfg(test)]
+#[cfg(all(test, feature = "full_test"))]
 pub mod multiple_job;
 #[cfg(test)]
 pub mod single_job;

crates/prover/src/stone_prover/tests/models.rs

@@ -1,4 +1,7 @@
-use crate::stone_prover::types::{config::Config, params::Params};
+use crate::stone_prover::types::{
+    config::Config,
+    params::{Fri, Params, Stark},
+};
 use sharp_p2p_common::job_trace::JobTrace;
 use std::{env, fs, io::Write, path::PathBuf};
 use tempfile::NamedTempFile;
@@ -18,9 +21,6 @@ pub fn fixture() -> TestFixture {
     let memory_path = ws_root.join("crates/tests/cairo/memory");
     let trace_path = ws_root.join("crates/tests/cairo/trace");
 
-    let cpu_air_prover_config_path = ws_root.join("crates/tests/cairo/cpu_air_prover_config.json");
-    let cpu_air_params_path = ws_root.join("crates/tests/cairo/cpu_air_params.json");
-
     let mut air_public_input = NamedTempFile::new().unwrap();
     air_public_input.write_all(&fs::read(air_public_input_path).unwrap()).unwrap();
 
@@ -35,11 +35,18 @@ pub fn fixture() -> TestFixture {
 
     TestFixture {
         job_trace: JobTrace { air_public_input, air_private_input, memory, trace },
-        cpu_air_prover_config: serde_json::from_str(
-            &fs::read_to_string(cpu_air_prover_config_path).unwrap(),
-        )
-        .unwrap(),
-        cpu_air_params: serde_json::from_str(&fs::read_to_string(cpu_air_params_path).unwrap())
-            .unwrap(),
+        cpu_air_prover_config: Config::default(),
+        cpu_air_params: Params {
+            stark: Stark {
+                fri: Fri {
+                    fri_step_list: vec![0, 4, 4, 3],
+                    last_layer_degree_bound: 128,
+                    n_queries: 1,
+                    proof_of_work_bits: 1,
+                },
+                log_n_cosets: 1,
+            },
+            ..Default::default()
+        },
     }
 }

crates/runner/Cargo.toml

@@ -23,4 +23,7 @@ tempfile.workspace = true
 thiserror.workspace = true
 tokio.workspace = true
 tracing.workspace = true
-zip-extensions.workspace = true
+zip-extensions.workspace = true
+
+[features]
+full_test = []

crates/runner/src/cairo_runner/tests/mod.rs

@@ -1,6 +1,6 @@
 pub mod models;
 
-#[cfg(test)]
+#[cfg(all(test, feature = "full_test"))]
 pub mod multiple_job;
 #[cfg(test)]
 pub mod single_job;

crates/tests/Cargo.toml

@@ -11,4 +11,7 @@ license-file.workspace = true
 futures.workspace = true
 sharp-p2p-prover.workspace = true
 sharp-p2p-runner.workspace = true
-tokio.workspace = true
+tokio.workspace = true
+
+[features]
+full_test = []

crates/tests/src/tests/mod.rs

@@ -1 +1,2 @@
+#[cfg(all(test, feature = "full_test"))]
 mod runner_prover_flow;