Sign inSign up

klee/solver:34_O_ND_A_z34.4.1

Manifest digest

sha256:8292b1e4da3b1a5414fbb381b86fe580181dcbd0f0c066a74fda0228409894b6

OS/ARCH

linux/amd64

Compressed size

424.2 MB

Last pushed

about 8 years by kleedev

Type

Image

Manifest digest

sha256:8292b1e4da3b1a5414fbb381b86fe580181dcbd0f0c066a74fda0228409894b6

Image Layers

Image Layers

1ADD file ... in / 41.12 MB
2/bin/sh -c set -xe &&853 B
3/bin/sh -c rm -rf /var/lib/apt/lists/*619 B
4/bin/sh -c sed -i 's/^#\s*\(deb.*universe\)$/\1/g'851 B
5/bin/sh -c mkdir -p /run/systemd168 B
6CMD ["/bin/bash"]0 B
7LABEL maintainer=Martin Nowack <[email protected]>0 B
8ENV DOCKER_BUILD=10 B
9ARG BASE=/tmp0 B
10ADD multi:19d03fb15835177eaf38575b78d9b04d2b24cd7a9bb95e9bb929d7e3e6d3971d in scripts/build/ 11.04 KB
11|1 BASE=/tmp /bin/sh -c scripts/build/dependencies-ubuntu.sh182 MB
12WORKDIR /tmp0 B
13LABEL maintainer=Martin Nowack <[email protected]>0 B
14ENV DOCKER_BUILD=10 B
15ARG BASE=/tmp0 B
16ARG DISABLE_ASSERTIONS0 B
17ARG ENABLE_OPTIMIZED0 B
18ARG ENABLE_DEBUG0 B
19ARG KEEP_BUILD0 B
20ARG KEEP_SRC0 B
21ARG KLEE_TRAVIS_BUILD0 B
22ARG LLVM_VERSION0 B
23ARG PACKAGED0 B
24ARG REQUIRES_RTTI0 B
25ARG SANITIZER_BUILD0 B
26ARG TRAVIS_OS_NAME0 B
27WORKDIR /tmp0 B
28ADD multi:b91dd5bdab9965c05ef337de2802c6d047e9b9d80b6813e861e66876c42d521e in scripts/build/ 11.08 KB
29|8 BASE=/tmp DISABLE_ASSERTIONS=0 ENABLE_OPTIMIZED=1 KEEP_BUILD=0132.86 MB
30LABEL maintainer=Martin Nowack <[email protected]>0 B
31ENV DOCKER_BUILD=10 B
32ARG BASE=/tmp0 B
33ARG DISABLE_ASSERTIONS0 B
34ARG ENABLE_OPTIMIZED0 B
35ARG ENABLE_DEBUG0 B
36ARG KEEP_BUILD0 B
37ARG KEEP_SRC0 B
38ARG KLEE_TRAVIS_BUILD0 B
39ARG LLVM_VERSION0 B
40ARG METASMT_BOOST_VERSION0 B
41ARG METASMT_DEFAULT0 B
42ARG METASMT_VERSION0 B
43ARG REQUIRES_RTTI0 B
44ARG SOLVERS0 B
45ARG SANITIZER_BUILD0 B
46ARG STP_VERSION0 B
47ARG STORAGE_SPACE_OPTIMIZED=10 B
48ARG TRAVIS_OS_NAME0 B
49ARG Z3_VERSION0 B
50WORKDIR /tmp0 B
51ADD multi:b91dd5bdab9965c05ef337de2802c6d047e9b9d80b6813e861e66876c42d521e in scripts/build/ 11.09 KB
52|11 BASE=/tmp DISABLE_ASSERTIONS=0 ENABLE_OPTIMIZED=1 KEEP_BUILD=068.18 MB

Command

ADD file:d37ff24540ea7700d0fc053e1996b234428a88f3a324d7fcbd83d8ef95318040 in /