sosylab/cpachecker:1.9

Security

Developer tools

Manifest digest

sha256:e6678207b7403354c3cabd293b38d8726c0dbdc0f628d59258f3f7b37e43a6df

OS/ARCH

linux/amd64

Compressed size

269.04 MB

Last pushed

over 2 years by philippwendler

Type

Image

Manifest digest

sha256:e6678207b7403354c3cabd293b38d8726c0dbdc0f628d59258f3f7b37e43a6df

Image Layers

1ADD file ... in / 26.72 MB

2/bin/sh -c [ -z "$(apt-get36.91 KB

3/bin/sh -c set -xe &&919 B

4/bin/sh -c mkdir -p /run/systemd171 B

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

6RUN apt-get update && apt-get140.01 MB

7COPY --from=0 /cpachecker /cpachecker102.27 MB

8RUN mkdir /workdir137 B

Command

ADD file:c3e6bb316dfa6b81dd4478aaa310df532883b1c0a14edeec3f63d641980c1789 in /