klee/stp:2.3.2_memsan_ubuntu_xenial-20181005

Manifest digest

sha256:755e95109d67b0305ced439fa02e872c12cbaa6c69a16ef4ee763b88366efea3

OS/ARCH

linux/amd64

Compressed size

60.12 MB

Last pushed

over 7 years by kleedev

Type

Image

Manifest digest

sha256:755e95109d67b0305ced439fa02e872c12cbaa6c69a16ef4ee763b88366efea3

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:5d3a05f17184d551e54462c06d9dfd841952132131cb2abf06e725a52e3678b2 in /tmp/minisat-install_memsan 4.7 MB

7COPY dir:96b308acb309e5119d0fad4324935b39f4d525540946b790dc14dc0020550eff in /tmp/stp-2.3.2-install_memsan 14.07 MB

8LABEL maintainer=KLEE Developers0 B

Command

ADD file:01a5c4f2b1dcc8f8aebe00ce8ed6ceda7038abc31d40caf69273240cdd453b84 in /