infection.json.dist

{
    "timeout": 10,
    "source": {
        "directories": ["src"]
    },
    "logs": {
        "text": "infection-log.txt"
    }
}