sosylab/cpachecker:2.1

Security

Developer tools

Manifest digest

sha256:f52f855b553716fbaa0a3c5cf329c672376f4e86e813791c09589087f620e64b

OS/ARCH

linux/amd64

Compressed size

305.23 MB

Last pushed

over 2 years by philippwendler

Type

Image

Manifest digest

sha256:f52f855b553716fbaa0a3c5cf329c672376f4e86e813791c09589087f620e64b

Image Layers

1ADD file ... in / 28.62 MB

2CMD ["bash"]0 B

3RUN apt-get update && apt-get145.93 MB

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

5RUN mkdir /workdir124 B

Command

ADD file:122ad323412c2e70b3138d8eb62648c4692989de91be1ffb6b4bf086c8311b62 in /