Remove default gas limit

Reverts one of the changes from #1652 to fix the sporadically-failing `test_integer_overflow_multitx_onefunc_feasible` test in `ethereum_bench`
trailofbits · Apr 30, 2020 · 5306a28 · 5306a28
1 parent 5228962
commit 5306a28
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/manticore/ethereum/manticore.py b/manticore/ethereum/manticore.py
@@ -728,7 +728,7 @@ def new_address(self):
             if new_address not in all_addresses:
                 return new_address
 
-    def transaction(self, caller, address, value, data, gas=21000, price=1):
+    def transaction(self, caller, address, value, data, gas=None, price=1):
         """ Issue a symbolic transaction in all running states
 
             :param caller: the address of the account sending the transaction