klee/metasmt:v4.rc1_ubuntu_xenial-20181005

Manifest digest

sha256:989849394467bfb506f670c8e9acc803b1d588ef66f236d0c321d8dcdc76d30d

OS/ARCH

linux/amd64

Compressed size

869.96 MB

Last pushed

over 7 years by kleedev

Type

Image

Manifest digest

sha256:989849394467bfb506f670c8e9acc803b1d588ef66f236d0c321d8dcdc76d30d

Image Layers

1ADD file ... in / 41.34 MB

2/bin/sh -c set -xe &&851 B

3/bin/sh -c rm -rf /var/lib/apt/lists/*620 B

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

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

6COPY dir:ad307e9323f86255a543ad01a9c65af0d01ad38c465726475b544f8732088c6e in /tmp/metaSMT-v4.rc1-install/ 48.39 KB

7COPY dir:9fa2b2f36ac1cd7ced8565a9810eac956a4b658c0aae6e4b1e40674faba055ce in /tmp/metaSMT-v4.rc1-build/ 58.64 KB

8COPY dir:a07e4c8c52ccb30811030ef46c060f08ca0cb78e5730b4391df232b5ffd23721 in /tmp/metaSMT-v4.rc1-deps/ 828.51 MB

9LABEL maintainer=KLEE Developers0 B

Command

ADD file:01a5c4f2b1dcc8f8aebe00ce8ed6ceda7038abc31d40caf69273240cdd453b84 in /