sosylab/cpachecker:2.2

Security

Developer tools

Manifest digest

sha256:5f5f9cc72b696e8348ede8ea7d1d2a29349fb902c69dce10743f551ce8a46512

OS/ARCH

linux/amd64

Compressed size

392.17 MB

Last pushed

over 2 years by philippwendler

Type

Image

Manifest digest

sha256:5f5f9cc72b696e8348ede8ea7d1d2a29349fb902c69dce10743f551ce8a46512

Image Layers

1ARG RELEASE0 B

2ARG LAUNCHPAD_BUILD_ARCH0 B

3LABEL org.opencontainers.image.ref.name=ubuntu0 B

4LABEL org.opencontainers.image.version=20.040 B

5ADD file ... in / 26.23 MB

6CMD ["/bin/bash"]0 B

7RUN apt-get update && apt-get222.47 MB

8COPY --from=0 /cpachecker /cpachecker143.46 MB

9RUN mkdir /workdir256 B

Command

 ARG RELEASE