Set up Infection

sebastianbergmann · Apr 4, 2024 · e5647e4 · e5647e4
1 parent 9a38358
commit e5647e4
Show file tree

Hide file tree

Showing 3 changed files with 29 additions and 34 deletions.
diff --git a/.gitattributes b/.gitattributes
@@ -1,14 +1,15 @@
-/.github        export-ignore
-/.phive         export-ignore
-/.psalm         export-ignore
-/build          export-ignore
-/tests          export-ignore
-/tools          export-ignore
-/tools/*        binary
-/.gitattributes export-ignore
-/.gitignore     export-ignore
-/.php-cs-fixer.dist.php   export-ignore
-/build.xml      export-ignore
-/phpunit.xml    export-ignore
+/.github                export-ignore
+/.phive                 export-ignore
+/.psalm                 export-ignore
+/build                  export-ignore
+/tests                  export-ignore
+/tools                  export-ignore
+/tools/*                binary
+/.gitattributes         export-ignore
+/.gitignore             export-ignore
+/.php-cs-fixer.dist.php export-ignore
+/build.xml              export-ignore
+/infection.json5.dist   export-ignore
+/phpunit.xml            export-ignore
 
 *.php diff=php
diff --git a/infection.json b/infection.json
diff --git a/infection.json5.dist b/infection.json5.dist
@@ -0,0 +1,16 @@
+{
+    "$schema": "https://raw.githubusercontent.com/infection/infection/0.28.1/resources/schema.json",
+    "phpUnit": {
+        "customPath": "tools/phpunit"
+    },
+    "source": {
+        "directories": [
+            "src"
+        ]
+    },
+    "mutators": {
+        "@default": true
+    },
+    "minMsi": 100,
+    "minCoveredMsi": 100
+}