From f082e7f28ea90b885a2e3a5061cccd861a9c72a6 Mon Sep 17 00:00:00 2001
From: Gustavo Grieco <31542053+ggrieco-tob@users.noreply.github.com>
Date: Wed, 23 Jun 2021 14:45:34 +0200
Subject: [PATCH] Increase the default size of the symbolic value when using
 manticore EVM from command line

---
 manticore/ethereum/manticore.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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: