Sign inSign up

kleedev/solver:34_O_ND_A_stp2.1.2

Manifest digest

sha256:c040a0b34552e6f7291308059a8776380d151c8312204c4ab3b3c5f5684e5fd4

OS/ARCH

linux/amd64

Compressed size

439.47 MB

Last pushed

about 8 years by kleedev

Type

Image

Manifest digest

sha256:c040a0b34552e6f7291308059a8776380d151c8312204c4ab3b3c5f5684e5fd4

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=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:03162385254fb60b14aa855e0714d98fc34d8fba0f8c09bd3dbbae2382979644 in scripts/build/ 10.99 KB
52|11 BASE=/tmp DISABLE_ASSERTIONS=0 ENABLE_OPTIMIZED=1 KEEP_BUILD=083.57 MB

Command

ADD file:d37ff24540ea7700d0fc053e1996b234428a88f3a324d7fcbd83d8ef95318040 in /