sosylab/cpachecker:2.1.1

Security

Developer tools

Manifest digest

sha256:d3d8abc68398211f5226079b5f429c95637fc8a999a9bfa373012be8c7b2ae27

OS/ARCH

linux/amd64

Compressed size

309.36 MB

Last pushed

over 2 years by philippwendler

Type

Image

Manifest digest

sha256:d3d8abc68398211f5226079b5f429c95637fc8a999a9bfa373012be8c7b2ae27

Image Layers

1ADD file ... in / 27.25 MB

2CMD ["bash"]0 B

3RUN apt-get update && apt-get151.45 MB

4COPY --from=0 /cpachecker /cpachecker130.66 MB

5RUN mkdir /workdir242 B

Command

ADD file:7633003155a1059419aa1a6756fafb6e4f419d65bff7feb7c945de1e29dccb1e in /