diff --git a/executor/src/witgen/jit/processor.rs b/executor/src/witgen/jit/processor.rs index fc3b0a55f7..9c04890c56 100644 --- a/executor/src/witgen/jit/processor.rs +++ b/executor/src/witgen/jit/processor.rs @@ -530,14 +530,6 @@ impl<'a, T: FieldElement, FE: FixedEvaluator> Error<'a, T, FE> { ) .unwrap(); }; - if !self.incomplete_identities.is_empty() { - write!( - s, - "\nThe following identities have not been fully processed:\n{}", - format_identities(&self.incomplete_identities, &self.witgen,) - ) - .unwrap(); - }; write!( s, "\nThe following branch decisions were taken:\n{}", @@ -548,6 +540,14 @@ impl<'a, T: FieldElement, FE: FixedEvaluator> Error<'a, T, FE> { .join("\n") ) .unwrap(); + if !self.incomplete_identities.is_empty() { + write!( + s, + "\nThe following identities have not been fully processed:\n{}", + format_identities(&self.incomplete_identities, &self.witgen,) + ) + .unwrap(); + }; let code = self.witgen.code(); if code.is_empty() { write!(s, "\nNo code generated so far.").unwrap(); diff --git a/executor/src/witgen/jit/single_step_processor.rs b/executor/src/witgen/jit/single_step_processor.rs index 82e24e70e2..289566474f 100644 --- a/executor/src/witgen/jit/single_step_processor.rs +++ b/executor/src/witgen/jit/single_step_processor.rs @@ -324,9 +324,7 @@ VM::instr_mul[1] = 1;" let start = e .find("The following identities have not been fully processed:") .unwrap(); - let end = e - .find("The following branch decisions were taken:") - .unwrap(); + let end = e.find("Generated code so far:").unwrap(); let expected = "\ The following identities have not been fully processed: --------------[ identity 1 on row 1: ]--------------