klee/stp:2.3.3_ubuntu_xenial-20181005

Manifest digest

sha256:6abfe4d33be0edd5640ad7951c096e484190aca467238303f02759f222664b40

OS/ARCH

linux/amd64

Compressed size

52.02 MB

Last pushed

over 7 years by kleedev

Type

Image

Manifest digest

sha256:6abfe4d33be0edd5640ad7951c096e484190aca467238303f02759f222664b40

Image Layers

1ADD file ... in / 41.34 MB

2/bin/sh -c set -xe &&851 B

3/bin/sh -c rm -rf /var/lib/apt/lists/*620 B

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

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

6COPY dir:291defb06aa2c37bcfd7f0250b189ecc42111c2c39cbb5c3b79da28bf6417270 in /tmp/minisat-install 324.25 KB

7COPY dir:020f1d31c11c46a6dce25f485f2030888cb9bdd80021abd22eca8a7cf6f939f0 in /tmp/stp-2.3.3-install 10.35 MB

8LABEL maintainer=KLEE Developers0 B

Command

ADD file:01a5c4f2b1dcc8f8aebe00ce8ed6ceda7038abc31d40caf69273240cdd453b84 in /