klee/stp:101aee2_ubuntu_bionic-20200807

Manifest digest

sha256:ff2ebea53f7b17de8ab6e2d56178af06a5822017c09f11958359578875bc7e92

OS/ARCH

linux/amd64

Compressed size

36.19 MB

Last pushed

about 6 years by kleedev

Type

Image

Manifest digest

sha256:ff2ebea53f7b17de8ab6e2d56178af06a5822017c09f11958359578875bc7e92

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:80727bc232321a71e2c0192f8e0b6b52d000abf2882e448af067c04d80794ba0 in /tmp/minisat-install 256.59 KB

7COPY dir:662abe4499ba322d1c2f10eaf8fe801ffccdc4fb46e499b6408c99bcb87827cd in /tmp/stp-master-install 10.44 MB

8LABEL maintainer=KLEE Developers0 B

Command

ADD file:5c125b7f411566e9daa738d8cb851098f36197810f06488c2609074296f294b2 in /