klee/z3:4.8.14_ubsan_ubuntu_jammy-20220531

Manifest digest

sha256:cc6de487fc0123ea9ed029d3f1e67ed5946750a7edd0f4d190e02766a053edc7

OS/ARCH

linux/amd64

Compressed size

238.37 MB

Last pushed

about 4 years by kleedev

Type

Image

Manifest digest

sha256:cc6de487fc0123ea9ed029d3f1e67ed5946750a7edd0f4d190e02766a053edc7

Image Layers

1ADD file ... in / 29.01 MB

2CMD ["bash"]0 B

3COPY dir:2bb7fc5b77a7ad5ed60f398bfb6cc0642819bb71eb8766eee9857572b1606904 in /tmp/z3-4.8.14-install_ubsan 209.35 MB

4LABEL maintainer=KLEE Developers0 B

Command

ADD file:11157b07dde10107f3f6f2b892c869ea83868475d5825167b5f466a7e410eb05 in /