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 = {}