klee/metasmt:qf_abv_ubuntu_bionic-20200112

Manifest digest

sha256:8f23e14d3321ce798c1bac2e624bc74dfcea18dad5ca45e4a2160f97d9f9ba6d

OS/ARCH

linux/amd64

Compressed size

504.28 MB

Last pushed

over 6 years by kleedev

Type

Image

Manifest digest

sha256:8f23e14d3321ce798c1bac2e624bc74dfcea18dad5ca45e4a2160f97d9f9ba6d

Image Layers

1ADD file ... in / 25.45 MB

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

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

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

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

6COPY dir:5dbdd0d762be741672aa4f8df61505842d7f8ef4acb846d9c4a855e93dc2d1a4 in /tmp/metaSMT-qf_abv-install/ 47.04 KB

7COPY dir:2425fcefa1f5592c76f2555cfc475e1daba6a0d2a16a9853d30fa817a23c833e in /tmp/metaSMT-qf_abv-build/ 58.38 KB

8COPY dir:fe5f8230aaab7ddc2488b932ee1461d22d87aee4120f1da468e4438932a2b46a in /tmp/metaSMT-qf_abv-deps/ 478.69 MB

9LABEL maintainer=KLEE Developers0 B

Command

ADD file:08e718ed0796013f5957a1be7da3bef6225f3d82d8be0a86a7114e5caad50cbc in /