klee/z3:4.4.1_ubuntu_xenial-20181005

Manifest digest

sha256:e27844b55ca95240393bb1cdb34eca09cb8ae6bfb5bfd33ab946014935f9c2e4

OS/ARCH

linux/amd64

Compressed size

65.38 MB

Last pushed

over 7 years by kleedev

Type

Image

Manifest digest

sha256:e27844b55ca95240393bb1cdb34eca09cb8ae6bfb5bfd33ab946014935f9c2e4

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:4b6abd29a7582ebb1e8bde82e2445fc6b42a99798d1a16de224c0072b15ba2de in /tmp/z3-4.4.1-install 24.04 MB

7LABEL maintainer=KLEE Developers0 B

Command

ADD file:01a5c4f2b1dcc8f8aebe00ce8ed6ceda7038abc31d40caf69273240cdd453b84 in /