klee/stp:2.3.3_memsan_ubuntu_bionic-20200112

Manifest digest

sha256:5f7f526c83242f084ca5ef4bda2765862ff125f2eb3c4b5980db24d277f2b3bf

OS/ARCH

linux/amd64

Compressed size

44.85 MB

Last pushed

over 6 years by kleedev

Type

Image

Manifest digest

sha256:5f7f526c83242f084ca5ef4bda2765862ff125f2eb3c4b5980db24d277f2b3bf

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:a213c4ba2a1bb46403752a861ead94db2480817f40c98cbef1f5bff9ea0ae5a0 in /tmp/minisat-install_memsan 5.05 MB

7COPY dir:69354b8656bc630a532b1117f1b4fae97242c1d95175d07d6155eda797f6ab42 in /tmp/stp-2.3.3-install_memsan 14.31 MB

8LABEL maintainer=KLEE Developers0 B

Command

ADD file:08e718ed0796013f5957a1be7da3bef6225f3d82d8be0a86a7114e5caad50cbc in /