Merge pull request #485 from plotchy/patch-1

fix: jumpi coverage condition matches evm
fuzzland · May 22, 2024 · 2ffa214 · 2ffa214
2 parents 9840724 + 57669c2
commit 2ffa214
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/evm/middlewares/coverage.rs b/src/evm/middlewares/coverage.rs
@@ -303,7 +303,7 @@ where
         self.pc_coverage.entry(address).or_default().insert(pc);
 
         if *interp.instruction_pointer == JUMPI {
-            let condition = is_zero(interp.stack.peek(1).unwrap());
+            let condition = if is_zero(interp.stack.peek(1).unwrap()) { false } else { true };
             self.jumpi_coverage.entry(address).or_default().insert((pc, condition));
         }
     }