Sign inSign up

klee/stp:2.3.2_ubsan_ubuntu_xenial-20181005

Manifest digest

sha256:ce192598931a109ed2cc264d976fa97e35b762bb4f8016799bec274f5e4fcc61

OS/ARCH

linux/amd64

Compressed size

53.71 MB

Last pushed

over 7 years by kleedev

Type

Image

Manifest digest

sha256:ce192598931a109ed2cc264d976fa97e35b762bb4f8016799bec274f5e4fcc61

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:2798ad25041495dabf72759098ba10835977a3d42696392b6e2f0c8757d31ea8 in /tmp/minisat-install_ubsan 1.44 MB
7COPY dir:25db36dfe94313d3e7bb55a4d04217ae383ac9440a0ecd2dce193e1ed5787411 in /tmp/stp-2.3.2-install_ubsan 10.93 MB
8LABEL maintainer=KLEE Developers0 B

Command

ADD file:01a5c4f2b1dcc8f8aebe00ce8ed6ceda7038abc31d40caf69273240cdd453b84 in /