klee/libcxx:110_ubuntu_bionic-20200807

Manifest digest

sha256:87a7d9a3fcc6ae607ac8371d13eb1961c4aea7807378f46535aa7d2dbcb6fdaa

OS/ARCH

linux/amd64

Compressed size

540.68 MB

Last pushed

over 3 years by kleedev

Type

Image

Manifest digest

sha256:87a7d9a3fcc6ae607ac8371d13eb1961c4aea7807378f46535aa7d2dbcb6fdaa

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

6ENV LLVM_VERSION=110 B

7ENV BASE=/tmp0 B

8ENV LLVM_VERSION=110 B

9COPY dir:f3fe9889b542169369e322cff932d89eeedc5d2f87b5f94fd187446a90348dac in . 8.14 KB

10/bin/sh -c ./build.sh --debug --install-system-deps515.18 MB

11LABEL maintainer=KLEE Developers0 B

Command

ADD file:5c125b7f411566e9daa738d8cb851098f36197810f06488c2609074296f294b2 in /