sosylab/cpachecker:2.0

Security

Developer tools

Manifest digest

sha256:65067567b4b80f8a021bcb3a68d7b59df709b1aab7606786703af09d6ce014dc

OS/ARCH

linux/amd64

Compressed size

295.96 MB

Last pushed

over 2 years by philippwendler

Type

Image

Manifest digest

sha256:65067567b4b80f8a021bcb3a68d7b59df709b1aab7606786703af09d6ce014dc

Image Layers

1ADD file ... in / 28.62 MB

2CMD ["bash"]0 B

3RUN apt-get update && apt-get144.95 MB

4COPY --from=0 /cpachecker /cpachecker122.39 MB

5RUN mkdir /workdir123 B

Command

ADD file:5d68d27cc15a80653c93d3a0b262a28112d47a46326ff5fc2dfbf7fa3b9a0ce8 in /