klee/stp:2.3.3_memsan_ubuntu_bionic-20200807

Manifest digest

sha256:81f36acb5f7b8a93470736d1308a9eeb17362aed4dfafc0e9aecfae91f1acc08

OS/ARCH

linux/amd64

Compressed size

44.1 MB

Last pushed

about 6 years by kleedev

Type

Image

Manifest digest

sha256:81f36acb5f7b8a93470736d1308a9eeb17362aed4dfafc0e9aecfae91f1acc08

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:ae52dd97081c444a69f9f4d03c7b52770767b0fb9d3e852f785753b8e99afb21 in /tmp/minisat-install_memsan 4.22 MB

7COPY dir:70b31d194501b04b6255a880ab5c75790db58ef28da99ad2aa7f7270b46fdbf6 in /tmp/stp-2.3.3-install_memsan 14.38 MB

8LABEL maintainer=KLEE Developers0 B

Command

ADD file:5c125b7f411566e9daa738d8cb851098f36197810f06488c2609074296f294b2 in /