Handle interface contracts gracefully

I have this unimplemented interface contract, in the same folder as a contract that inherits it.

pragma solidity ^0.4.18;
contract Interface{    
    function transfer(address _to, uint _value, bytes _data) public returns (bool);
    event Transfer(address indexed _from, address indexed _to, uint256 indexed _value, bytes _data);
}

The dir structure is something like:

contracts/
├── Interface.sol
├── Implemented.sol
├── SomethingElse.sol

So, I’d like to be able to run myth -x contracts/*.sol, but when I do, I get:

  File "/Users/primary/.pyenv/versions/3.6.1/bin/myth", line 205, in <module>
    name, bytecode = compile_solidity(solc_binary, file)
  File "/Users/primary/.pyenv/versions/3.6.1/lib/python3.6/site-packages/mythril/ether/util.py", line 36, in compile_solidity
    return [m.group(1), m.group(2)]
AttributeError: 'NoneType' object has no attribute 'group'

[step21]

@maurelian Of course, just curious when quickly looking at it. Thanks for clarifying.

[maurelian]

Fixed here: https://github.com/ConsenSys/mythril/commit/f1e07baa8fbfb1841b6d475f07f066756af80c21