Update static dev files.

ecphp · Jan 6, 2020 · 3fa6b5a · 3fa6b5a
1 parent 4cfcbf3
commit 3fa6b5a
Show file tree

Hide file tree

Showing 3 changed files with 21 additions and 4 deletions.
diff --git a/grumphp.yml.dist b/grumphp.yml.dist
@@ -19,8 +19,8 @@ parameters:
       threads: 10
       test_framework: phpspec
       configuration: infection.json.dist
-      min_msi: 50
-      min_covered_msi: 50
+      min_msi: 10
+      min_covered_msi: 10
       metadata:
         priority: 2000
     securitychecker:

diff --git a/infection.json.dist b/infection.json.dist
@@ -0,0 +1,18 @@
+{
+    "timeout": 10,
+    "source": {
+        "directories": [
+            "src"
+        ]
+    },
+    "logs": {
+        "text": "build/infection.log",
+        "summary": "build/summary.log",
+        "debug": "build/debug.log",
+        "perMutator": "build/per-mutator.md",
+        "badge": {
+            "branch": "master"
+        }
+    },
+    "testFramework":"phpspec"
+}
diff --git a/phpspec.yml.dist b/phpspec.yml.dist
@@ -1,8 +1,7 @@
 formatter.name: pretty
 extensions:
-  LeanPHP\PhpSpec\CodeCoverage\CodeCoverageExtension:
+  FriendsOfPhpSpec\PhpSpec\CodeCoverage\CodeCoverageExtension:
     format:
-      - html
       - clover
       - php
       - text