Smartest安裝

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

https://github.com/ocaml/ocaml

1. 安裝opam

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

2. 安裝Ocaml并初始化opam環(huán)境

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