Phiên bản solc được chấp nhận từ 0.4.11 đến 0.8.21

Giả sử khai báo pragma solidity trên một dòng, có dạng pragma solidity x.y.z

Cài đặt (trên linux): Vào ./tools, cài đặt môi trường ảo tên mythril_venv, bật môi trường ảo và chạy pip install mythril