infection.json5

{
    "$schema": "vendor/infection/infection/resources/schema.json",
    "source": {
        "directories": [
            "src"
        ]
    },
    "mutators": {
        "@default": true,
        "IncrementInteger": {
            "ignoreSourceCodeByRegex": [
                // The inner $scale only needs to be larger than the outer $scale. Doesn't matter if it's by 1 or more.
                "return self\\:\\:round\\(bc[a-z]{3}\\(\\$leftOperand\\, \\$rightOperand\\, \\$scale ?\\+ ?1\\)\\, \\$scale\\)\\;"
            ]
        },
        "CastInt": {
            "ignoreSourceCodeByRegex": [
                // This is impossible to test, since php would cast to int during operation anyway.
                "\\$exponent \\= \\(int\\) \\$parts\\[\\'exponent\\'\\]\\;"
            ]
        },
    },
    "logs": {
        "text": "php://stdout",
        "json": "infection_report.json"
    }
}