2021年5月25日
klee本地环境搭建LLVM9+Ubuntu18.04
摘要： 前言： 环境：乌班图18.04和LLVM-9下安装klee-2.3 操作系统目前崩溃了三次，重装了三次，klee也跟着重装了三次，可以说现在装klee环境得心应手了，有问题可以在评论留言，如果我见过的错误，一定帮忙解决。 一、基本库安装 1 sudo apt-get install build-es 阅读全文
posted @ 2021-05-25 20:52 TTTCoder 阅读(731) 评论(0) 推荐(0) 编辑