klee/stp:2.3.3_memsan_ubuntu_jammy-20220531

Manifest digest

sha256:4b9df83e9a33f5c59b1544a894bd1d9ad28f813e12d584725d3472e0a9d74d8a

OS/ARCH

linux/amd64

Compressed size

37.03 MB

Last pushed

about 4 years by kleedev

Type

Image

Manifest digest

sha256:4b9df83e9a33f5c59b1544a894bd1d9ad28f813e12d584725d3472e0a9d74d8a

Image Layers

1ADD file ... in / 29.01 MB

2CMD ["bash"]0 B

3COPY dir:3a62d935ae2330bf7a4daa445b174fdfae1ceabc28bd71b03562f0ac606de683 in /tmp/minisat-install_memsan 233.52 KB

4COPY dir:cb6c14ae9b6175813e9f65d15475a427c0c72c06b422c4275dcecebb422a5b6a in /tmp/stp-2.3.3-install_memsan 7.79 MB

5LABEL maintainer=KLEE Developers0 B

Command

ADD file:11157b07dde10107f3f6f2b892c869ea83868475d5825167b5f466a7e410eb05 in /