fix debug assertion

succinctlabs · Oct 10, 2024 · da76d25 · da76d25
1 parent 1f6be4b
commit da76d25
Showing 1 changed file with 4 additions and 1 deletion.
diff --git a/crates/core/machine/src/program/mod.rs b/crates/core/machine/src/program/mod.rs
@@ -61,7 +61,10 @@ impl<F: PrimeField> MachineAir<F> for ProgramChip {
     }
 
     fn generate_preprocessed_trace(&self, program: &Self::Program) -> Option<RowMajorMatrix<F>> {
-        debug_assert!(!program.instructions.is_empty(), "empty program");
+        debug_assert!(
+            !program.instructions.is_empty() || program.preprocessed_shape.is_some(),
+            "empty program"
+        );
         let mut rows = program
             .instructions
             .iter()