kleedev/klee:70stp_ubuntu_xenial-20181005

Manifest digest

sha256:48a38eda6094cb3015cc7b4e6c5b1f038f4c5299ae101e047622b7abb8715176

OS/ARCH

linux/amd64

Compressed size

443.23 MB

Last pushed

over 7 years by kleedev

Type

Image

Manifest digest

sha256:48a38eda6094cb3015cc7b4e6c5b1f038f4c5299ae101e047622b7abb8715176

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:148986b21dd54bbc93fd1df7ea6e04d04f7da0b738acc4e9a7087b1580f0ed06 in /tmp/klee_build70stp 333.08 MB

7COPY dir:3926a0a69371dbecd1a9743078efd6fc4c59b2655b0ffdc9bd612dba619b5a46 in /tmp/klee-uclibc-70 9.22 MB

8COPY dir:d9eb3acb80a1e2b5b0f7213d73174579cf73c13a728880a00bb9e85602e7276c in /tmp/googletest-release-1.7.0 459.47 KB

9COPY dir:47920a968c10c4d5ac0ed49d2fd7c236b9fc1dd2582a56cbd3f7a129dc36c462 in /tmp/tcmalloc-install-2.7 1.31 MB

10COPY dir:291defb06aa2c37bcfd7f0250b189ecc42111c2c39cbb5c3b79da28bf6417270 in /tmp/minisat-install 324.25 KB

11COPY dir:4bd0e81939ee6b263ca9424b10bbfc1f58f8fd828e0ce814da15d7b39dc9108b in /tmp/stp-2.1.2-install 27.32 MB

12LABEL maintainer=KLEE Developers0 B

13/bin/sh -c apt update &&691.3 KB

14ENV BASE=/tmp0 B

15ADD --chown=klee:kleedir:130e9426ea6975858eeeaf0e01ef3677fb89d9d59ccf811f57dccf2c97ab63cc in /tmp/klee_src 29.5 MB

16USER klee0 B

17WORKDIR /home/klee0 B

18/bin/sh -c /bin/bash -c 'ln1.96 KB

19/bin/sh -c /bin/bash -c 'echo1.95 KB

Command

ADD file:01a5c4f2b1dcc8f8aebe00ce8ed6ceda7038abc31d40caf69273240cdd453b84 in /