Smartest安装

https://github.com/Silence1017/VeriSmart-public

https://github.com/ocaml/ocaml

1. 安装opam

https://opam.ocaml.org/doc/Install.html

2. 安装Ocaml并初始化opam环境

https://ocaml.org/docs/up-and-running

注：上图中的eval opam env改为eval $(opam env)，#号注释不用管

3. 安装z3

https://github.com/Silence1017/VeriSmart-public

上图方法不可行，用下面命令

4. 安装solc编译器

ILF安装

https://github.com/eth-sri/ilf

• 安装python依赖会出问题：

  https://www.tqwba.com/x_d/jishu/396097.html

  https://blog.csdn.net/3m2u/article/details/122365616

  1. 换源 

       2. 

• 使用solc-select更换solc版本

  https://github.com/crytic/solc-select

• 其它问题

  https://blog.csdn.net/qq_40630902/article/details/118356845