咖啡因 源码

咖啡因-原型符号执行引擎 获取依赖 您需要根据您的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