文件名称：咖啡因
文件大小：152KB
文件格式：ZIP
更新时间：2024-03-17 01:28:05
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