klee/stp:2.3.3_ubuntu_bionic-20200807

Manifest digest

sha256:692e52da1dec2bf8fd76e9161bff95d956674e5d07e0daaec6c681cbba20129d

OS/ARCH

linux/amd64

Compressed size

36.92 MB

Last pushed

about 6 years by kleedev

Type

Image

Manifest digest

sha256:692e52da1dec2bf8fd76e9161bff95d956674e5d07e0daaec6c681cbba20129d

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:54b6f8816a0b54789be4d3e7434ed392f77b59bec4087cff450d4560925b4f8b in /tmp/stp-2.3.3-install 11.17 MB

8LABEL maintainer=KLEE Developers0 B

Command

ADD file:5c125b7f411566e9daa738d8cb851098f36197810f06488c2609074296f294b2 in /