klee/stp:bf58ce9_ubuntu_bionic-20200112

Manifest digest

sha256:26159c62083dc94003495600e716a02f8c2c15a4285da51fec9d5b006a7f94a5

OS/ARCH

linux/amd64

Compressed size

37 MB

Last pushed

over 6 years by kleedev

Type

Image

Manifest digest

sha256:26159c62083dc94003495600e716a02f8c2c15a4285da51fec9d5b006a7f94a5

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:05fdf3d82e5d142c63491489e60f0d8dd659030b847385800be9ddd2b88e4e13 in /tmp/minisat-install 325.58 KB

7COPY dir:beeb99b6835ecb8225f83178dbecd5dd607f75480b453e4fae6492001c4fe72c in /tmp/stp-master-install 11.19 MB

8LABEL maintainer=KLEE Developers0 B

Command

ADD file:08e718ed0796013f5957a1be7da3bef6225f3d82d8be0a86a7114e5caad50cbc in /