dockerfile.run

ptests

Platform dedicated to the analysis of source code written in C

Debian

RUN apt-get update && \
    apt-get install -y frama-c

Ubuntu

RUN apt-get update && \
    apt-get install -y frama-c

Fedora

RUN dnf install -y frama-c

Raspbian

RUN apt-get update && \
    apt-get install -y frama-c

click the source code to copy install ptests on any operating system with command-not-found.com