Merge pull request #2947 from o1-labs/fix/stop-generating-new-scratch…

…-states-for-halts

Stop generating new scratch state for halt addresses

o1vm/src/interpreters/mips/witness.rs

@@ -1169,7 +1169,7 @@ impl<Fp: Field, PreImageOracle: PreImageOracleT> Env<Fp, PreImageOracle> {
         self.instruction_counter = self.next_instruction_counter();
 
         config.halt_address.iter().for_each(|halt_address: &u32| {
-            if self.get_instruction_pointer() == (*halt_address as u64) {
+            if self.registers.current_instruction_pointer == *halt_address {
                 debug!("Program jumped to halt address: {:#X}", halt_address);
                 self.halt = true;
             }