FROM python:3.11-slim
RUN pip install --no-cache-dir flask==3.1.2 waitress==3.0.2 coverage==7.2.7
WORKDIR /app
# WuppieFuzz's Python coverage agent, pinned to a commit. It only activates when
# COVERAGE_PROCESS_START is set, so the same image runs with or without it.
ADD https://raw.githubusercontent.com/TNO-S3/WuppieFuzz-Python/0a0728f5ca79c3a526af73e6a0666dfa6175c785/sitecustomize.py /usr/local/lib/python3.11/site-packages/sitecustomize.py
COPY app.py coveragerc ./
CMD ["python", "-u", "app.py"]