手动构建docker映象:
从github上获取klee源码
使用存储库根目录中dockerfile的内容来构建docker映像
创建一个临时的klee docker镜像
创建永久:
exit命令代表退出docker
再次启动输入
手动构建docker映象:
从github上获取klee源码
使用存储库根目录中dockerfile的内容来构建docker映像
创建一个临时的klee docker镜像
创建永久:
exit命令代表退出docker
再次启动输入
转载于:https://www.cnblogs.com/zhwforever/p/10563621.html