文件名称：klee-cl-docker:KLEE-CL 的 Dockefile
文件大小：2KB
文件格式：ZIP
更新时间：2024-07-12 12:33:58
KLEE-CL 的 Dockerfile 此存储库包含DockerFile和其他相关文件，用于为构建 Docker 容器。 跑步 首先从DockerHub获取镜像。 如果您不想这样做，请参阅“构建” $ docker pull delcypher/klee-cl-docker 现在您可以访问容器内的外壳（注意--rm退出时会删除容器）。 $ docker run -ti --rm delcypher/klee-cl-docker /bin/bash 建造 如果您不想使用来自的预构建镜像，那么您可以通过执行以下操作在您的系统本地构建它。 $ cd /path/to/this/repository $ docker build -t "delcypher/klee-cl-docker" .
【文件预览】：
klee-cl-docker-master
----.gitignore(6B)
----Dockerfile(3KB)
----.dockerignore(21B)
----README.md(813B)