klee/stp:85341df_ubuntu_jammy-20220531

Manifest digest

sha256:ec939ce53b93c46ea8a02cd5d5f9f7e3dff1dcf41f28a4ef2264faa5f72b40b6

OS/ARCH

linux/amd64

Compressed size

42.47 MB

Last pushed

about 4 years by kleedev

Type

Image

Manifest digest

sha256:ec939ce53b93c46ea8a02cd5d5f9f7e3dff1dcf41f28a4ef2264faa5f72b40b6

Image Layers

1ADD file ... in / 29.01 MB

2CMD ["bash"]0 B

3COPY dir:da6193d6de9cc2f5dc455ef1cd11c007fc2d0b83c989905961a69d54d4cbf72d in /tmp/minisat-install 276.49 KB

4COPY dir:def7ee19c8f9df9f0ad24462334daa3adcb130ce802d7de076e85946cc2d2a56 in /tmp/stp-master-install 13.19 MB

5LABEL maintainer=KLEE Developers0 B

Command

ADD file:11157b07dde10107f3f6f2b892c869ea83868475d5825167b5f466a7e410eb05 in /