sosylab/cpachecker:1.9.1

Security

Developer tools

Manifest digest

sha256:1a2a470819aa25999ac5554e16d7e2baf2a81f12bcf3de58b2c055481bcfcc62

OS/ARCH

linux/amd64

Compressed size

273.49 MB

Last pushed

over 2 years by philippwendler

Type

Image

Manifest digest

sha256:1a2a470819aa25999ac5554e16d7e2baf2a81f12bcf3de58b2c055481bcfcc62

Image Layers

1ADD file ... in / 28.59 MB

2/bin/sh -c set -xe &&925 B

3/bin/sh -c [ -z "$(apt-get0 B

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

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

6RUN apt-get update && apt-get137.55 MB

7COPY --from=0 /cpachecker /cpachecker107.35 MB

8RUN mkdir /workdir124 B

Command

ADD file:4f15c4475fbafb3fe335e415e3ea1ac416c34af911fcdfe273c5759438aa8eb4 in /