klee/llvm:130_O_D_A_ubuntu_jammy-20220531

Manifest digest

sha256:20dcec858c157b10d031b5005cf71e327ddd63bce2f09d2e23b131d35338f3c1

OS/ARCH

linux/amd64

Compressed size

1.09 GB

Last pushed

about 4 years by kleedev

Type

Image

Manifest digest

sha256:20dcec858c157b10d031b5005cf71e327ddd63bce2f09d2e23b131d35338f3c1

Image Layers

1ADD file ... in / 29.01 MB

2CMD ["bash"]0 B

3COPY dir:a9a16d87d5ff50d62ff5e901308aca73c4f11cb1d558c37a36ec096cd09bb324 in /tmp/llvm-130-install_O_D_A 783.54 MB

4COPY dir:63253b4a6a687fecb006dd8decbdbf34160f891ff301b8cacf694ed82c1bc757 in /tmp/llvm-130 301.58 MB

5LABEL maintainer=KLEE Developers0 B

Command

ADD file:11157b07dde10107f3f6f2b892c869ea83868475d5825167b5f466a7e410eb05 in /