klee/z3:4.8.4_ubsan_ubuntu_xenial-20181005

Manifest digest

sha256:4a9642f6ff20b712f5f6188c2d48c4be4918d2cf91f3c3cfe77e6802f868f5c2

OS/ARCH

linux/amd64

Compressed size

228.59 MB

Last pushed

over 7 years by kleedev

Type

Image

Manifest digest

sha256:4a9642f6ff20b712f5f6188c2d48c4be4918d2cf91f3c3cfe77e6802f868f5c2

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:10ad5e7ec7a4f8b6697f8a71e8e745ab7a40801f2da7b4362b4591f5a161c90a in /tmp/z3-4.8.4-install_ubsan 187.24 MB

7LABEL maintainer=KLEE Developers0 B

Command

ADD file:01a5c4f2b1dcc8f8aebe00ce8ed6ceda7038abc31d40caf69273240cdd453b84 in /