klee/z3:4.8.14_ubuntu_jammy-20220531

Manifest digest

sha256:2f1f499d5403239e0d2b3a47490986ea0ef1ecbf6b9398c0d58a7eae5dfae13e

OS/ARCH

linux/amd64

Compressed size

53.63 MB

Last pushed

about 4 years by kleedev

Type

Image

Manifest digest

sha256:2f1f499d5403239e0d2b3a47490986ea0ef1ecbf6b9398c0d58a7eae5dfae13e

Image Layers

1ADD file ... in / 29.01 MB

2CMD ["bash"]0 B

3COPY dir:77826e50ac8cf759079b3e8c44560e836a8d26aee6c6c2dbb21b6037a03fec06 in /tmp/z3-4.8.14-install 24.62 MB

4LABEL maintainer=KLEE Developers0 B

Command

ADD file:11157b07dde10107f3f6f2b892c869ea83868475d5825167b5f466a7e410eb05 in /