【文件属性】：
文件名称：咖啡因
文件大小：152KB
文件格式：ZIP
更新时间：2021-02-25 07:41:25
C++
咖啡因-原型符号执行引擎
获取依赖
您需要根据您的vscode安装目录设置CMAKE_TOOLCHAIN_FILE变量。 完成后，您可以像通常生成生成系统一样运行cmake。
第一次构建将花费一些时间，因为它将构建所有依赖项并将它们安装在repo文件夹内的vcpkg_installed目录中。 一旦完成，您就不必再担心它了。
安装说明
苹果系统
安装自制软件按照的说明进行操作
使用自制软件安装依赖项brew update && brew install cmake boost llvm fmt z3
安装gtest
git clone https://github.com/google/googletest或git clone git@github.com:google/googletest.git
cd googletest
mkdir build
cd build
cma