search

enzymefinance / oyente

An Analysis Tool for Smart Contracts
GNU General Public License v3.0
1.32k stars 310 forks source link

Crytic compile support #405

Closed Mayur1496 closed 4 years ago

Mayur1496 commented 4 years ago

Add support for crytic_compile instead of using solc for compilation.

Doing so has benefits:

  1. No need to maintain interfacing with solc
  2. Automatically use right version (or better compatible version) of solc