Addressing review comments.

o1-labs · Oct 22, 2024 · a339d26 · a339d26
1 parent 1b4c945
commit a339d26
Show file tree

Hide file tree

Showing 2 changed files with 7 additions and 3 deletions.
diff --git a/.github/workflows/o1vm-ci.yml b/.github/workflows/o1vm-ci.yml
@@ -13,6 +13,9 @@ on:
         "curves/**",
         "poseidon/**",
         "poly-commitment/",
+        "internal-tracing/**",
+        "srs/**",
+        "utils/**",
       ]
   push:
     branches:
@@ -27,6 +30,9 @@ on:
         "curves/**",
         "poseidon/**",
         "poly-commitment/",
+        "internal-tracing/**",
+        "srs/**",
+        "utils/**",
       ]
 
 env:

diff --git a/o1vm/src/interpreters/mips/witness.rs b/o1vm/src/interpreters/mips/witness.rs
@@ -1286,9 +1286,7 @@ 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)
-                .checked_sub(start.step)
-                .unwrap_or_else(|| panic!("Step counter overflowed: {} - {}", step, start.step));
+            let how_many_steps = step as usize - start.step;
 
             let ips = how_many_steps as f64 / elapsed.as_secs() as f64;