From faf1d16b99e9a5ecf842b0dce07a2c0873c66ea4 Mon Sep 17 00:00:00 2001 From: feliam Date: Mon, 29 Jan 2018 20:28:31 -0300 Subject: [PATCH] Allow importing solidity files from current folder (#717) --- manticore/ethereum.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/manticore/ethereum.py b/manticore/ethereum.py index 5409687..a12b4f5 100644 --- a/manticore/ethereum.py +++ b/manticore/ethereum.py @@ -574,7 +574,7 @@ class ManticoreEVM(Manticore): with tempfile.NamedTemporaryFile() as temp: temp.write(source_code) temp.flush() - p = Popen([solc, '--combined-json', 'abi,srcmap,srcmap-runtime,bin,hashes,bin-runtime', temp.name], stdout=PIPE, stderr=PIPE) + p = Popen([solc, '--combined-json', 'abi,srcmap,srcmap-runtime,bin,hashes,bin-runtime', '--allow-paths','.', temp.name], stdout=PIPE, stderr=PIPE) try: output = json.loads(p.stdout.read())