klee/z3:4.8.4_ubuntu_xenial-20181005

Manifest digest

sha256:85eaa738e906e754bef4dd72311ec25cd6e200646b0e74891b9c0c9e4d032f11

OS/ARCH

linux/amd64

Compressed size

60.51 MB

Last pushed

over 7 years by kleedev

Type

Image

Manifest digest

sha256:85eaa738e906e754bef4dd72311ec25cd6e200646b0e74891b9c0c9e4d032f11

Image Layers

1ADD file ... in / 41.34 MB

2/bin/sh -c set -xe &&851 B

3/bin/sh -c rm -rf /var/lib/apt/lists/*620 B

4/bin/sh -c mkdir -p /run/systemd169 B

5CMD ["/bin/bash"]0 B

6COPY dir:7d3dea67b32d37a21222118a6f130106c8ae5064a22c3dbb718999a32e932b28 in /tmp/z3-4.8.4-install 19.16 MB

7LABEL maintainer=KLEE Developers0 B

Command

ADD file:01a5c4f2b1dcc8f8aebe00ce8ed6ceda7038abc31d40caf69273240cdd453b84 in /