Sign inSign up

klee/solver:70_O_D_A_stp2.1.2_z34.4.1

Manifest digest

sha256:cb52d893a4b9900a1c4da338e232180c65ddc546c9b0a83ffb8c4489ef723fb8

OS/ARCH

linux/amd64

Compressed size

2.41 GB

Last pushed

almost 8 years by kleedev

Type

Image

Manifest digest

sha256:cb52d893a4b9900a1c4da338e232180c65ddc546c9b0a83ffb8c4489ef723fb8

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:856dbda533c1e22db13ce93248758f899095a8f35eae11d88347c5840cdd599c in scripts/build/ 12.23 KB
29|10 BASE=/tmp DISABLE_ASSERTIONS=0 ENABLE_DEBUG=1 ENABLE_OPTIMIZED=12.05 GB
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:856dbda533c1e22db13ce93248758f899095a8f35eae11d88347c5840cdd599c in scripts/build/ 12.21 KB
52|15 BASE=/tmp DISABLE_ASSERTIONS=0 ENABLE_DEBUG=1 ENABLE_OPTIMIZED=1151.82 MB

Command

ADD file:d37ff24540ea7700d0fc053e1996b234428a88f3a324d7fcbd83d8ef95318040 in /