klee/stp:2.3.3_ubsan_ubuntu_bionic-20200807

Manifest digest

sha256:763d0a81991d8923a7880599bf871fdb92a3cad21a4196aad1281caaf9ea278c

OS/ARCH

linux/amd64

Compressed size

37.33 MB

Last pushed

about 6 years by kleedev

Type

Image

Manifest digest

sha256:763d0a81991d8923a7880599bf871fdb92a3cad21a4196aad1281caaf9ea278c

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:72c4ff2435f725b3e11e033b2830d27a0a9866b6bdbe0b94a5f4b7b440eb91e9 in /tmp/minisat-install_ubsan 682.87 KB

7COPY dir:807e6980e5c05df615dc38b3f1be9de43c423b4ca2094272bcadb9f133871d76 in /tmp/stp-2.3.3-install_ubsan 11.17 MB

8LABEL maintainer=KLEE Developers0 B

Command

ADD file:5c125b7f411566e9daa738d8cb851098f36197810f06488c2609074296f294b2 in /