diff --git a/manticore/ethereum/manticore.py b/manticore/ethereum/manticore.py index eb5a0b0ae..a8d499c5e 100644 --- a/manticore/ethereum/manticore.py +++ b/manticore/ethereum/manticore.py @@ -1108,7 +1108,7 @@ def multi_tx_analysis( logger.info("Starting symbolic transaction: %d", tx_no) # run_symbolic_tx - symbolic_data = self.make_symbolic_buffer(320) + symbolic_data = self.make_symbolic_buffer(640) if tx_send_ether: value = self.make_symbolic_value() else: