klee/stp:2.3.3_ubsan_ubuntu_jammy-20220531

Manifest digest

sha256:ccef2c825c090c6ae832151224ed060cf2d5ec000be6f2118c6bf58cf8dc42cd

OS/ARCH

linux/amd64

Compressed size

38.23 MB

Last pushed

about 4 years by kleedev

Type

Image

Manifest digest

sha256:ccef2c825c090c6ae832151224ed060cf2d5ec000be6f2118c6bf58cf8dc42cd

Image Layers

1ADD file ... in / 29.01 MB

2CMD ["bash"]0 B

3COPY dir:1e7275a36223f539e5ad29100c7ad4985894090ec6e668994153aedd4fcceede in /tmp/minisat-install_ubsan 678.86 KB

4COPY dir:ab7595c3d8868adda55d4061b249e32e97bead61b366a8798c9d9c438c8f943f in /tmp/stp-2.3.3-install_ubsan 8.56 MB

5LABEL maintainer=KLEE Developers0 B

Command

ADD file:11157b07dde10107f3f6f2b892c869ea83868475d5825167b5f466a7e410eb05 in /