diff --git a/manticore/ethereum.py b/manticore/ethereum.py index d657019..283e39f 100644 --- a/manticore/ethereum.py +++ b/manticore/ethereum.py @@ -582,7 +582,7 @@ class ManticoreEVM(Manticore): try: output = json.loads(p.stdout.read()) except ValueError: - raise Exception('Solidity compilation error') + raise Exception('Solidity compilation error:\n\n{}'.format(p.stderr.read())) contracts = output.get('contracts', []) if len(contracts) != 1 and contract_name is None: