SVChecker

requirements

• cmake 3.10+
• g++ 7.3.0+
• solc-select
  • brew install solc-select
• solc version 0.5.0 to 0.7.1
  • solc-select install 0.5.0
  • ..
• nlohmann-json
  • only header file, no need to install