klee/stp:2.3.3_asan_ubuntu_jammy-20220531

Manifest digest

sha256:6aeed0b8d8b60e88e0cfdd7a96d2b6cd4d718be4a577d174c5d9451529f496ba

OS/ARCH

linux/amd64

Compressed size

40.68 MB

Last pushed

about 4 years by kleedev

Type

Image

Manifest digest

sha256:6aeed0b8d8b60e88e0cfdd7a96d2b6cd4d718be4a577d174c5d9451529f496ba

Image Layers

1ADD file ... in / 29.01 MB

2CMD ["bash"]0 B

3COPY dir:97e0332c4cbfd7a03b36712fdbdb97b9b897cb31ae9f5471974c75b6abec55fd in /tmp/minisat-install_asan 1.19 MB

4COPY dir:865deff9aaca96d8df2542892c2072a727b6f4d84d08c23a6d13b78dc86c2a48 in /tmp/stp-2.3.3-install_asan 10.48 MB

5LABEL maintainer=KLEE Developers0 B

Command

ADD file:11157b07dde10107f3f6f2b892c869ea83868475d5825167b5f466a7e410eb05 in /