klee/llvm:140_O_D_A_ubuntu_jammy-20220531

Manifest digest

sha256:fc00c2657bb351f4aaa40271da8e2e1f5857668bd6c9e8e9a88657a2a013e339

OS/ARCH

linux/amd64

Compressed size

1.16 GB

Last pushed

about 4 years by kleedev

Type

Image

Manifest digest

sha256:fc00c2657bb351f4aaa40271da8e2e1f5857668bd6c9e8e9a88657a2a013e339

Image Layers

1ADD file ... in / 29.01 MB

2CMD ["bash"]0 B

3COPY dir:228fdea96e365440aaa09d3795616af4f1e2c52b75aa316db2b8c3cdcef9c5fa in /tmp/llvm-140-install_O_D_A 833.66 MB

4COPY dir:bce5a260173067a807420b53eb9f4febc5475e188a46b37c16c46a79c940127b in /tmp/llvm-140 323.72 MB

5LABEL maintainer=KLEE Developers0 B

Command

ADD file:11157b07dde10107f3f6f2b892c869ea83868475d5825167b5f466a7e410eb05 in /