diff --git a/manticore/platforms/evm.py b/manticore/platforms/evm.py index 631166c8e..531fb814f 100644 --- a/manticore/platforms/evm.py +++ b/manticore/platforms/evm.py @@ -3318,7 +3318,7 @@ def _pending_transaction_failed(self): aux_src_balance = Operators.ZEXTEND(self.get_balance(caller), 512) aux_value = Operators.ZEXTEND(value, 512) enough_balance = Operators.UGE(aux_src_balance, aux_value) - if self.depth == 0: + if consts.oog != "ignore" and self.depth == 0: # take the gas from the balance aux_price = Operators.ZEXTEND(price, 512) aux_gas = Operators.ZEXTEND(gas, 512)