klee/z3:4.8.14_asan_ubuntu_bionic-20200807

Manifest digest

sha256:1e9f9e1016cabdcf23f6a04e9d2c03a81d5ff2a7441905c85f6f892c25722bfa

OS/ARCH

linux/amd64

Compressed size

315.91 MB

Last pushed

almost 4 years by kleedev

Type

Image

Manifest digest

sha256:1e9f9e1016cabdcf23f6a04e9d2c03a81d5ff2a7441905c85f6f892c25722bfa

Image Layers

1ADD file ... in / 25.46 MB

2/bin/sh -c [ -z "$(apt-get34.54 KB

3/bin/sh -c set -xe &&848 B

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

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

6COPY dir:dbe353811e2dd01c4ed240fb44fe93ba3d279868c94adbd0dfb2577deb2e4b46 in /tmp/z3-4.8.14-install_asan 290.41 MB

7LABEL maintainer=KLEE Developers0 B

Command

ADD file:5c125b7f411566e9daa738d8cb851098f36197810f06488c2609074296f294b2 in /