Setup mutation testing

Author: staabm

.github/workflows/platform-test.yml

@@ -28,6 +28,9 @@ jobs:
           - "8.4"
         update-packages:
           - ""
+        run-infection:
+            - ""
+
         include:
           - php-version: "8.1"
             update-packages: doctrine/orm:^3.0 doctrine/dbal:^4.0 carbonphp/carbon-doctrine-types:^3 gedmo/doctrine-extensions:^3
@@ -37,6 +40,8 @@ jobs:
             update-packages: doctrine/orm:^3.0 doctrine/dbal:^4.0 carbonphp/carbon-doctrine-types:^3 gedmo/doctrine-extensions:^3
           - php-version: "8.4"
             update-packages: doctrine/orm:^3.0 doctrine/dbal:^4.0 carbonphp/carbon-doctrine-types:^3 gedmo/doctrine-extensions:^3
+          - php-version: "8.4"
+            run-infection: "true"
 
     steps:
       - name: "Checkout"
@@ -63,6 +68,12 @@ jobs:
 
       - name: "Run platform matrix test"
         run: vendor/bin/phpunit --group=platform
+        if: ${{ matrix.run-infection == '' }}
+
+      - name: "Run infection"
+        run: vendor/bin/infection
+        #run: vendor/bin/infection --git-diff-filter=AM
+        if: ${{ matrix.run-infection != '' }}
 
     services:
       postgres:

composer.json

@@ -29,6 +29,7 @@
 		"doctrine/orm": "^2.16.0",
 		"doctrine/persistence": "^2.2.1 || ^3.2",
 		"gedmo/doctrine-extensions": "^3.8",
+		"infection/infection": "^0.31.2",
 		"nesbot/carbon": "^2.49",
 		"php-parallel-lint/php-parallel-lint": "^1.2",
 		"phpstan/phpstan-deprecation-rules": "^2.0.2",
@@ -41,7 +42,8 @@
 	"config": {
 		"sort-packages": true,
 		"allow-plugins": {
-			"cweagans/composer-patches": true
+			"cweagans/composer-patches": true,
+			"infection/extension-installer": false
 		}
 	},
 	"extra": {

infection.json5

@@ -0,0 +1,15 @@
+{
+    "$schema": "vendor/infection/infection/resources/schema.json",
+    "source": {
+        "directories": [
+            "src"
+        ]
+    },
+    "logs": {
+        "text": "tmp/infection.log"
+    },
+    "mutators": {
+        "@default": false,
+        "PHPStan\\Infection\\TrinaryLogicMutator": true
+    }
+}

tests/Infection/TrinaryLogicMutator.php

@@ -0,0 +1,66 @@
+<?php declare(strict_types=1);
+
+namespace PHPStan\Infection;
+
+use Infection\Mutator\Definition;
+use Infection\Mutator\Mutator;
+use Infection\Mutator\MutatorCategory;
+use LogicException;
+use PhpParser\Node;
+
+/**
+ * @implements Mutator<Node\Expr\MethodCall>
+ */
+final class TrinaryLogicMutator implements Mutator {
+
+	public static function getDefinition(): Definition
+	{
+		return new Definition(
+			<<<'TXT'
+                Replaces TrinaryLogic->yes() with !TrinaryLogic->no()
+                TXT
+			,
+			MutatorCategory::ORTHOGONAL_REPLACEMENT,
+			null,
+			<<<'DIFF'
+                - $type->isBoolean()->yes();
+                + !$type->isBoolean()->no();
+                DIFF,
+		);
+	}
+
+	public function getName(): string
+	{
+		return 'TrinaryLogicMutator';
+	}
+
+	public function canMutate(Node $node): bool
+	{
+		if (!$node instanceof Node\Expr\MethodCall) {
+			return false;
+		}
+
+		if (!$node->name instanceof Node\Identifier) {
+			return false;
+		}
+
+		if (!in_array($node->name->name, ['yes', 'no'], true)) {
+			return false;
+		}
+
+		return true;
+	}
+
+	public function mutate(Node $node): iterable
+	{
+		if (!$node->name instanceof Node\Identifier) {
+			throw new LogicException();
+		}
+
+		if ($node->name->name === 'yes') {
+			yield new Node\Expr\BooleanNot(new Node\Expr\MethodCall($node->var, 'no'));
+		} else {
+			yield new Node\Expr\BooleanNot(new Node\Expr\MethodCall($node->var, 'yes'));
+		}
+	}
+}