{
  "$schema": "./vendor/infection/infection/resources/schema.json",
  source: {
    directories: ["src"],
  },
  phpUnit: {
    configDir: "suites/a",
  },
  mutators: {
    "@default": false,
    GreaterThanOrEqualTo: true,
  },
  tmpDir: "results/a/tmp",
}