klee/stp:2.3.3_asan_ubuntu_bionic-20200807

Manifest digest

sha256:6d762a3311be9ae1b0c96e64e64cfdd8fe5e93e95942fee9ffec9994b1b1fbf2

OS/ARCH

linux/amd64

Compressed size

36.68 MB

Last pushed

about 6 years by kleedev

Type

Image

Manifest digest

sha256:6d762a3311be9ae1b0c96e64e64cfdd8fe5e93e95942fee9ffec9994b1b1fbf2

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:78ccb617d49f757c3e04069d099cbe4a24e8bdb31bb40ce607bc92ebdbcd93e7 in /tmp/minisat-install_asan 1.17 MB

7COPY dir:f5c1b66568618c50dc3efb203bab52d00b2416af497d05c23eeab514cf085d3b in /tmp/stp-2.3.3-install_asan 10.02 MB

8LABEL maintainer=KLEE Developers0 B

Command

ADD file:5c125b7f411566e9daa738d8cb851098f36197810f06488c2609074296f294b2 in /