klee/stp:2.3.3_asan_ubuntu_bionic-20200112

Manifest digest

sha256:79bf10aaf27dbb8f2ecc278b01d6296a3fc6de19f9b456995ecae302044e368d

OS/ARCH

linux/amd64

Compressed size

37.33 MB

Last pushed

over 6 years by kleedev

Type

Image

Manifest digest

sha256:79bf10aaf27dbb8f2ecc278b01d6296a3fc6de19f9b456995ecae302044e368d

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:293a57e9aa5cabed58dc0fc44548ff92dbbaf117aaff5ca8b61ee092db86e36b in /tmp/minisat-install_asan 1.98 MB

7COPY dir:4423b2178f0cb60592133004302c86a487780cb52e7ee6f7d01da41a34ef4376 in /tmp/stp-2.3.3-install_asan 9.86 MB

8LABEL maintainer=KLEE Developers0 B

Command

ADD file:08e718ed0796013f5957a1be7da3bef6225f3d82d8be0a86a7114e5caad50cbc in /