From 743d479cbf10f40e3079d56e3f26b2d1f4e34893 Mon Sep 17 00:00:00 2001
From: ggrieco-tob <31542053+ggrieco-tob@users.noreply.github.com>
Date: Fri, 5 Jan 2018 12:39:25 -0300
Subject: [PATCH] Added missing **kwargs to ManticoreEVM constructor (#686)

---
 manticore/ethereum.py | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/manticore/ethereum.py b/manticore/ethereum.py
index 52d6ddf..cf2c9e7 100644
--- a/manticore/ethereum.py
+++ b/manticore/ethereum.py
@@ -581,7 +581,7 @@ class ManticoreEVM(Manticore):
 
             return name, source_code, bytecode, runtime, srcmap, srcmap_runtime, hashes, abi, warnings
 
-    def __init__(self, procs=1):
+    def __init__(self, procs=1, **kwargs):
         ''' A Manticore EVM manager
             :param int procs: number of workers to use in the exploration
         '''
@@ -594,7 +594,7 @@ class ManticoreEVM(Manticore):
         world = evm.EVMWorld(constraints)
         initial_state = State(constraints, world)
         initial_state.context['tx'] = []
-        super(ManticoreEVM, self).__init__(initial_state)
+        super(ManticoreEVM, self).__init__(initial_state, **kwargs)
 
         self.detectors = {}
         self.metadata = {}