From 4c40034186c2d389972eb942882801b1e9416da6 Mon Sep 17 00:00:00 2001 From: Gustavo Grieco <31542053+ggrieco-tob@users.noreply.github.com> Date: Fri, 2 Apr 2021 13:51:06 -0300 Subject: [PATCH] Avoid adding a constrain to take the gas from the balance when oog is "ignore" --- manticore/platforms/evm.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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)