klee/libcxx:80_ubuntu_bionic-20200807

Manifest digest

sha256:1031071cbc7fcb3519435d3df894e101ad772604ef5421b6d2b6511c5268966d

OS/ARCH

linux/amd64

Compressed size

29.63 MB

Last pushed

about 6 years by kleedev

Type

Image

Manifest digest

sha256:1031071cbc7fcb3519435d3df894e101ad772604ef5421b6d2b6511c5268966d

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:3f5fad98444e51713b4158f6e2f72b4c848b221a69b450ec8376172f2e2b7a9b in /tmp/libc++-install-80 4.13 MB

7LABEL maintainer=KLEE Developers0 B

Command

ADD file:5c125b7f411566e9daa738d8cb851098f36197810f06488c2609074296f294b2 in /