infection.json.dist

{
    "source": {
        "directories": [
            "src"
        ]
    },
    "logs": {
        "text": "php://stderr",
        "stryker": {
            "report": "/\\d+\\.\\d+\\./"
        }
    },
    "minMsi": 100,
    "minCoveredMsi": 100
}