Merge branch 'main' into chore/delete_unused_src

kkrt-labs · Feb 7, 2025 · 4674f0f · 4674f0f
2 parents 9f9f7c8 + 7321d91
commit 4674f0f
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/cairo/tests/ethereum/cancun/vm/test_instructions.py b/cairo/tests/ethereum/cancun/vm/test_instructions.py
@@ -4,10 +4,11 @@
 from hypothesis import given
 
 from tests.utils.errors import strict_raises
+from tests.utils.evm_builder import EvmBuilder
 from tests.utils.strategies import uint8
 
 
-@given(evm=..., opcode=uint8)
+@given(evm=EvmBuilder().with_stack().with_gas_left().build(), opcode=uint8)
 def test_op_implementation(cairo_run, evm: Evm, opcode):
     try:
         cairo_evm = cairo_run("test_op_implementation", evm, opcode)