diff --git a/manticore/ethereum.py b/manticore/ethereum.py index 4ce79dc..9ee0bf4 100644 --- a/manticore/ethereum.py +++ b/manticore/ethereum.py @@ -668,7 +668,11 @@ class ManticoreEVM(Manticore): #check solc version supported_versions = ('0.4.18', '0.4.21') - installed_version_output = check_output([solc, "--version"]) + + try: + installed_version_output = check_output([solc, "--version"]) + except OSError: + raise Exception("Solidity compiler not installed.") m = re.match(r".*Version: (?P(?P\d+)\.(?P\d+)\.(?P\d+))\+(?P[^\s]+).*", installed_version_output, re.DOTALL | re.IGNORECASE)