Verify repo of sVerify, xVerify and sOptimize for smart contracts
- z3 (version 4.8.8)
- Solidity (version 0.8.0 and above)
- EVM (version 1.10.21)
- boost (version 1.68-dev on ubuntu 18.04)
- c5.0 & svm (exe in invariantlearning)
- change projectdir in config.ini to be the directory where this learning locates.