Sign inSign up

kleedev/klee-70024-test:latest

Manifest digest

sha256:9532768c41538c7f4c1bc9ac4f4dba0aab94dcbc0dd7734af4df274999db164d

OS/ARCH

linux/amd64

Compressed size

1.9 GB

Last pushed

over 3 years by kleedev

Type

Image

Manifest digest

sha256:9532768c41538c7f4c1bc9ac4f4dba0aab94dcbc0dd7734af4df274999db164d

Image Layers

Image Layers

1ADD file ... in / 25.46 MB
2/bin/sh -c [ -z "$(apt-get34.54 KB
3/bin/sh -c set -xe &&848 B
4/bin/sh -c mkdir -p /run/systemd163 B
5CMD ["/bin/bash"]0 B
6COPY dir:7ff46b10fdda467b1dbeda267ba560b9dc872c068ba923ca299a339d14d7f5d3 in /tmp/llvm-110-install_O_D_A 893.97 MB
7COPY dir:bca9560dbd751f3c47b7d32087a64329491647607f0a43b4b8af66bd13d70abe in /tmp/llvm-110 252.86 MB
8LABEL maintainer=KLEE Developers0 B
9COPY dir:b8acf406df58981eef3c3d5ea861e7afa0aa4022e6a3ce79b71ca6bb69586cf5 in /tmp/ 869.23 KB
10COPY dir:1a33426146a5524ea10554fe6a170bd6558b6c51cad3799c9e9841e1c899e926 in /tmp/ 10.73 MB
11COPY dir:f79f4525651cbc94b14e2651771e8a3700cf9745ff96b9a9dfa70498425eb466 in /tmp/ 1.53 MB
12COPY dir:2bca7e8f0ebb504bfbc91a2b391a52dd897b0b7436bf973655fab2a3609fd527 in /tmp/ 11.42 MB
13COPY dir:4733168afe83b54209159bcb3325e90d35b244241814f2cf0e2a670f6207e829 in /tmp/ 23.21 MB
14COPY dir:fa4de554daec1fcd6e053b9873c83ab2e6e1077067c51f47591d81f71a3fc9c7 in /tmp/ 257.34 MB
15ENV COVERAGE=00 B
16ENV USE_TCMALLOC=10 B
17ENV BASE=/tmp0 B
18ENV LLVM_VERSION=11.00 B
19ENV ENABLE_DOXYGEN=10 B
20ENV ENABLE_OPTIMIZED=10 B
21ENV ENABLE_DEBUG=10 B
22ENV DISABLE_ASSERTIONS=00 B
23ENV REQUIRES_RTTI=00 B
24ENV SOLVERS=STP:Z30 B
25ENV GTEST_VERSION=1.11.00 B
26ENV UCLIBC_VERSION=klee_uclibc_v1.30 B
27ENV TCMALLOC_VERSION=2.9.10 B
28ENV SANITIZER_BUILD=0 B
29ENV STP_VERSION=2.3.30 B
30ENV MINISAT_VERSION=master0 B
31ENV Z3_VERSION=4.8.150 B
32ENV USE_LIBCXX=10 B
33ENV KLEE_RUNTIME_BUILD=Debug+Asserts0 B
34LABEL maintainer=KLEE Developers0 B
35/bin/sh -c apt update &&161.63 MB
36COPY --chown=klee:kleedir:051468e899aa78428f4b729c7ce15d46e01901660b544651d75eeabc374eac53 in /tmp/klee_src/ 4.58 MB
37USER klee0 B
38WORKDIR /home/klee0 B
39/bin/sh -c /tmp/klee_src/scripts/build/build.sh --debug --install-system-deps297.85 MB
40ENV PATH=/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin:/tmp/llvm-110-install_O_D_A/bin:/home/klee/klee_build/bin:/home/klee/.local/bin0 B
41ENV BASE=/tmp0 B
42/bin/sh -c sudo /bin/bash -c155 B
43ENV LD_LIBRARY_PATH=/home/klee/klee_build/lib/0 B
44/bin/sh -c /bin/bash -c 'ln186 B
45/bin/sh -c /bin/bash -c 'echo1.9 KB

Command

ADD file:5c125b7f411566e9daa738d8cb851098f36197810f06488c2609074296f294b2 in /