klee/llvm:100_O_D_A_ubuntu_jammy-20220531

Manifest digest

sha256:5db86d301ad58141857096eb03be6266e557885116ff51194190c14b2d34fe5d

OS/ARCH

linux/amd64

Compressed size

917.36 MB

Last pushed

about 4 years by kleedev

Type

Image

Manifest digest

sha256:5db86d301ad58141857096eb03be6266e557885116ff51194190c14b2d34fe5d

Image Layers

1ADD file ... in / 29.01 MB

2CMD ["bash"]0 B

3COPY dir:aef80b484be15201fbacc6415d0b0b3364f9a3ba5ed786eeb612e270bbdd9523 in /tmp/llvm-100-install_O_D_A 640.43 MB

4COPY dir:1706b4754863049a289b3b0dbccd69e5b19ba3b233020454d154b0343febabe8 in /tmp/llvm-100 247.92 MB

5LABEL maintainer=KLEE Developers0 B

Command

ADD file:11157b07dde10107f3f6f2b892c869ea83868475d5825167b5f466a7e410eb05 in /