Sign inSign up

kleedev/klee_deps:34_NO_D_A_stp2.1.2_klee_uclibc_v1.0.0

Manifest digest

sha256:9c1dc731e6a43bdca82974b922758e298aa3cdc859c044bffd2c1197a405f7b0

OS/ARCH

linux/amd64

Compressed size

1.77 GB

Last pushed

over 8 years by kleedev

Type

Image

Manifest digest

sha256:9c1dc731e6a43bdca82974b922758e298aa3cdc859c044bffd2c1197a405f7b0

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:03162385254fb60b14aa855e0714d98fc34d8fba0f8c09bd3dbbae2382979644 in scripts/build/ 10.95 KB
11|1 BASE=/tmp /bin/sh -c scripts/build/dependencies-ubuntu.sh181.88 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:03162385254fb60b14aa855e0714d98fc34d8fba0f8c09bd3dbbae2382979644 in scripts/build/ 10.98 KB
29|8 BASE=/tmp DISABLE_ASSERTIONS=0 ENABLE_OPTIMIZED=0 KEEP_BUILD=01.46 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:03162385254fb60b14aa855e0714d98fc34d8fba0f8c09bd3dbbae2382979644 in scripts/build/ 11 KB
52|11 BASE=/tmp DISABLE_ASSERTIONS=0 ENABLE_OPTIMIZED=0 KEEP_BUILD=083.57 MB
53LABEL maintainer=Martin Nowack <[email protected]>0 B
54ARG BASE=/tmp0 B
55ARG DISABLE_ASSERTIONS0 B
56ARG ENABLE_OPTIMIZED0 B
57ARG ENABLE_DEBUG0 B
58ARG KEEP_BUILD0 B
59ARG KEEP_SRC0 B
60ARG KLEE_TRAVIS_BUILD0 B
61ARG KLEE_UCLIBC0 B
62ARG LLVM_VERSION0 B
63ARG LLVM_SUFFIX0 B
64ARG REQUIRES_RTTI0 B
65ARG SANITIZER_BUILD0 B
66ARG TRAVIS_OS_NAME0 B
67ARG USE_TCMALLOC0 B
68ENV DOCKER_BUILD=10 B
69ADD multi:03162385254fb60b14aa855e0714d98fc34d8fba0f8c09bd3dbbae2382979644 in scripts/build/ 10.99 KB
70|10 BASE=/tmp DISABLE_ASSERTIONS=0 ENABLE_OPTIMIZED=0 KEEP_BUILD=0459.61 KB
71|10 BASE=/tmp DISABLE_ASSERTIONS=0 ENABLE_OPTIMIZED=0 KEEP_BUILD=01.17 MB
72|10 BASE=/tmp DISABLE_ASSERTIONS=0 ENABLE_OPTIMIZED=0 KEEP_BUILD=09.62 MB

Command

ADD file:d37ff24540ea7700d0fc053e1996b234428a88f3a324d7fcbd83d8ef95318040 in /