Sign inSign up

kleedev/klee-70024:3.1

Manifest digest

sha256:bbdd952d3f51d23ce7e22a7f63dd29637db5ae46a744f76a455831b5d1a0bc6a

OS/ARCH

linux/amd64

Compressed size

2.79 GB

Last pushed

11 months by kleedev

Type

Image

Manifest digest

sha256:bbdd952d3f51d23ce7e22a7f63dd29637db5ae46a744f76a455831b5d1a0bc6a

Image Layers

Image Layers

1ARG RELEASE0 B
2ARG LAUNCHPAD_BUILD_ARCH0 B
3LABEL org.opencontainers.image.ref.name=ubuntu0 B
4LABEL org.opencontainers.image.version=22.040 B
5ADD file ... in / 28.16 MB
6CMD ["/bin/bash"]0 B
7COPY /tmp/llvm-130-install_O_D_A /tmp/llvm-130-install_O_D_A # buildkit1.88 GB
8LABEL maintainer=KLEE Developers0 B
9COPY /tmp /tmp/ # buildkit869.21 KB
10COPY /tmp /tmp/ # buildkit10.61 MB
11COPY /tmp /tmp/ # buildkit1.61 MB
12COPY /tmp /tmp/ # buildkit13.18 MB
13COPY /tmp /tmp/ # buildkit24.65 MB
14COPY /tmp /tmp/ # buildkit306.1 MB
15COPY /tmp /tmp/ # buildkit2.92 MB
16ENV COVERAGE=00 B
17ENV USE_TCMALLOC=10 B
18ENV BASE=/tmp0 B
19ENV LLVM_VERSION=13.00 B
20ENV ENABLE_DOXYGEN=10 B
21ENV ENABLE_OPTIMIZED=10 B
22ENV ENABLE_DEBUG=10 B
23ENV DISABLE_ASSERTIONS=00 B
24ENV REQUIRES_RTTI=00 B
25ENV SOLVERS=STP:Z30 B
26ENV GTEST_VERSION=1.11.00 B
27ENV UCLIBC_VERSION=klee_uclibc_v1.30 B
28ENV TCMALLOC_VERSION=2.9.10 B
29ENV SANITIZER_BUILD=0 B
30ENV STP_VERSION=2.3.30 B
31ENV MINISAT_VERSION=master0 B
32ENV Z3_VERSION=4.8.150 B
33ENV USE_LIBCXX=10 B
34ENV KLEE_RUNTIME_BUILD=Debug+Asserts0 B
35ENV SQLITE_VERSION=34001000 B
36LABEL maintainer=KLEE Developers0 B
37RUN /bin/sh -c apt update87.29 MB
38COPY . /tmp/klee_src/ # buildkit10.41 MB
39USER klee0 B
40WORKDIR /home/klee32 B
41RUN /bin/sh -c /tmp/klee_src/scripts/build/build.sh --debug394.18 MB
42ENV PATH=/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin:/tmp/llvm-130-install_O_D_A/bin:/home/klee/klee_build/bin:/home/klee/.local/bin0 B
43ENV BASE=/tmp0 B
44RUN /bin/sh -c /bin/bash -c32 B
45RUN /bin/sh -c sudo /bin/bash158 B
46ENV LD_LIBRARY_PATH=/home/klee/klee_build/lib/0 B
47RUN /bin/sh -c /bin/bash -c188 B
48RUN /bin/sh -c /bin/bash -c1.9 KB
49RUN /bin/sh -c sudo apt45.52 MB
50RUN /bin/sh -c sudo apt10.51 MB
51RUN /bin/sh -c sudo pip3376.87 KB
52ENV PATH=/tmp/klee_build130stp_z3/bin/:/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin:/tmp/llvm-130-install_O_D_A/bin:/home/klee/klee_build/bin:/home/klee/.local/bin0 B
53ENV LD_LIBRARY_PATH=/tmp/klee_build130stp_z3/lib0 B

Command

 ARG RELEASE