diff --git a/src/generator.rs b/src/generator.rs index b04442b5..a5ba4eaf 100644 --- a/src/generator.rs +++ b/src/generator.rs @@ -61,6 +61,11 @@ pub(crate) fn generate_partial_witness( pending_generator_indices = next_pending_generator_indices; } + assert_eq!( + expired_generator_indices.len(), + generators.len(), + "Some generators weren't run." + ); } /// A generator participates in the generation of the witness.