klee/metasmt:qf_abv_ubuntu_bionic-20200807

Manifest digest

sha256:78a1636e2603507f588f31fee79f290711611ad64048ae40bdbf126e794bdc10

OS/ARCH

linux/amd64

Compressed size

528.22 MB

Last pushed

about 6 years by kleedev

Type

Image

Manifest digest

sha256:78a1636e2603507f588f31fee79f290711611ad64048ae40bdbf126e794bdc10

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:1f4fc65c7155e905242623767214f921b7bf4c6ca4afcac2fd7b257dd539df81 in /tmp/metaSMT-qf_abv-install/ 47.02 KB

7COPY dir:eaf4c2f0b7418175ceb16cfbf8d45fc7561b2a6265d340bfaa6395ad97f38f50 in /tmp/metaSMT-qf_abv-build/ 58.33 KB

8COPY dir:114a7c7cf3f25a62c7faeb66794e949696f923167e1956d4ae9822ad10a25857 in /tmp/metaSMT-qf_abv-deps/ 502.62 MB

9LABEL maintainer=KLEE Developers0 B

Command

ADD file:5c125b7f411566e9daa738d8cb851098f36197810f06488c2609074296f294b2 in /