Some fixes.

o1-labs · Oct 20, 2024 · 524c24c · 524c24c
1 parent b7dccca
commit 524c24c
Show file tree

Hide file tree

Showing 2 changed files with 5 additions and 2 deletions.
diff --git a/o1vm/README.md b/o1vm/README.md
@@ -165,7 +165,7 @@ python3 -m http.server 8765
 - Then run the o1vm with the following command:
 
 ```shell
-O1VM_FLAVOR="pickles" STOP_AT="=10000000" ./run-code.sh
+FILENAME="env-for-latest-l2-block.sh" O1VM_FLAVOR="pickles" STOP_AT="=10000000" ./run-code.sh
 ```
 
 - Don't forget to stop the HTTP server after you are done.

diff --git a/o1vm/src/interpreters/mips/witness.rs b/o1vm/src/interpreters/mips/witness.rs
@@ -1286,7 +1286,10 @@ impl<Fp: Field, PreImageOracle: PreImageOracleT> Env<Fp, PreImageOracle> {
             let insn = self.get_opcode().unwrap();
 
             // Approximate instruction per seconds
-            let how_many_steps = step as usize - start.step;
+            let how_many_steps = (step as usize)
+                .checked_sub(start.step)
+                .unwrap_or_else(|| panic!("Step counter overflowed: {} - {}", step, start.step));
+
             let ips = how_many_steps as f64 / elapsed.as_secs() as f64;
 
             let pages = self.memory.len();