-
Andre Maroneze authoredAllow estimate-difficulty to be exported (in Linux/macOS/Windows) as independent executable, so that it can be used without having to install Frama-C.
Andre Maroneze authoredAllow estimate-difficulty to be exported (in Linux/macOS/Windows) as independent executable, so that it can be used without having to install Frama-C.
fced-lin.Dockerfile 216 B
FROM alpine:3.15
COPY fc-estimate-difficulty /
RUN mkdir /fced-test
COPY fced-test fced-test/
RUN ./fc-estimate-difficulty fced-test | \
grep -A9 "Overall difficulty score" | \
grep -v 0 | \
grep -q ': '