Sign inSign up

klee/stp:7a3fd49_ubuntu_xenial-20181005

Manifest digest

sha256:4f4ce67da2b788a59ee18eec8cf9841d52eac99b0e378557939e99bbca4dcc31

OS/ARCH

linux/amd64

Compressed size

52.02 MB

Last pushed

over 7 years by kleedev

Type

Image

Manifest digest

sha256:4f4ce67da2b788a59ee18eec8cf9841d52eac99b0e378557939e99bbca4dcc31

Image Layers

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:288c723abf090ad3777726607b9bb08694c6d45750a4da9f3434ac3766a6be2e in /tmp/stp-master-install 10.35 MB
8LABEL maintainer=KLEE Developers0 B

Command

ADD file:01a5c4f2b1dcc8f8aebe00ce8ed6ceda7038abc31d40caf69273240cdd453b84 in /