klee/z3:4.8.4_asan_ubuntu_xenial-20181005

Manifest digest

sha256:8069de9461e826dab92ae890f530f1b55171aa4ff4dcbc7e82265ba9fca2c6a8

OS/ARCH

linux/amd64

Compressed size

248.32 MB

Last pushed

over 7 years by kleedev

Type

Image

Manifest digest

sha256:8069de9461e826dab92ae890f530f1b55171aa4ff4dcbc7e82265ba9fca2c6a8

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:8d71dea1929a09956680057a6ccaef8e898d6a9adb6f71f10ae4c57c57818ada in /tmp/z3-4.8.4-install_asan 206.97 MB

7LABEL maintainer=KLEE Developers0 B

Command

ADD file:01a5c4f2b1dcc8f8aebe00ce8ed6ceda7038abc31d40caf69273240cdd453b84 in /