Bug fix

executor/src/witgen/jit/block_machine_processor.rs

@@ -143,18 +143,18 @@ impl<'a, T: FieldElement> BlockMachineProcessor<'a, T> {
                     .collect::<Vec<_>>();
                 // Because we process rows -1..block_size+1, it is fine to have two incomplete machine calls,
                 // as long as <block_size> consecutive rows are complete.
-                let is_consecutive = complete_rows.iter().max().unwrap()
-                    - complete_rows.iter().min().unwrap()
-                    == complete_rows.len() as i32 - 1;
-                if is_consecutive && complete_rows.len() >= self.block_size {
-                    // All good
-                    vec![]
-                } else {
-                    complete_rows
-                        .iter()
-                        .map(|row| (call, *row))
-                        .collect::<Vec<_>>()
+                if complete_rows.len() >= self.block_size {
+                    let is_consecutive = complete_rows.iter().max().unwrap()
+                        - complete_rows.iter().min().unwrap()
+                        == complete_rows.len() as i32 - 1;
+                    if is_consecutive {
+                        return vec![];
+                    }
                 }
+                complete_rows
+                    .iter()
+                    .map(|row| (call, *row))
+                    .collect::<Vec<_>>()
             })
             .collect::<Vec<_>>();