klee/stp:2.3.3_ubsan_ubuntu_bionic-20200112

Manifest digest

sha256:bb798bfad5c8c1b6da6bcc147abc7d89f847ffe66ee7a3862d50c34acad53285

OS/ARCH

linux/amd64

Compressed size

38.26 MB

Last pushed

over 6 years by kleedev

Type

Image

Manifest digest

sha256:bb798bfad5c8c1b6da6bcc147abc7d89f847ffe66ee7a3862d50c34acad53285

Image Layers

1ADD file ... in / 25.45 MB

2/bin/sh -c [ -z "$(apt-get34.54 KB

3/bin/sh -c set -xe &&849 B

4/bin/sh -c mkdir -p /run/systemd162 B

5CMD ["/bin/bash"]0 B

6COPY dir:761a4eaa80b401d97983621b69dd2e6449c0367d964b5930e4dd2929fb181940 in /tmp/minisat-install_ubsan 1.49 MB

7COPY dir:0c8fa9cd3108f625794bc5e23a677a24e0b7e22e05c90570b25fa8daa45f71dd in /tmp/stp-2.3.3-install_ubsan 11.28 MB

8LABEL maintainer=KLEE Developers0 B

Command

ADD file:08e718ed0796013f5957a1be7da3bef6225f3d82d8be0a86a7114e5caad50cbc in /