Add simple test

Author: janedbal

tests/Rule/Data/DisallowDivisionByLiteralZeroRule/extra-error.php

@@ -0,0 +1,9 @@
+<?php declare(strict_types = 1);
+
+namespace DisallowDivisionByLiteralZeroRule;
+
+function testExtraError(): void
+{
+    $a = 10;
+    $invalidDivision = $a / 0;
+}

tests/Rule/Data/DisallowDivisionByLiteralZeroRule/missing-error.php

@@ -0,0 +1,9 @@
+<?php declare(strict_types = 1);
+
+namespace DisallowDivisionByLiteralZeroRule;
+
+function testMissingError(): void
+{
+    $a = 10;
+    $validDivision = $a / 2; // error: Division by literal zero is not allowed
+}

tests/RuleTestCaseTest.php

@@ -53,4 +53,30 @@ public function testAutofix(): void
         self::assertFileEquals($expectedFile, $tmpFile);
     }
 
+    public function testErrorMessageWithExtraError(): void
+    {
+        $testFile = __DIR__ . '/Rule/Data/DisallowDivisionByLiteralZeroRule/extra-error.php';
+
+        try {
+            $this->analyzeFiles([$testFile]);
+            self::fail('Expected assertion to fail due to extra error');
+        } catch (AssertionFailedError $e) { // @phpstan-ignore catch.internalClass
+            self::assertStringContainsString('New errors reported:', $e->getMessage());
+            self::assertStringContainsString('Division by literal zero is not allowed', $e->getMessage());
+        }
+    }
+
+    public function testErrorMessageWithMissingError(): void
+    {
+        $testFile = __DIR__ . '/Rule/Data/DisallowDivisionByLiteralZeroRule/missing-error.php';
+
+        try {
+            $this->analyzeFiles([$testFile]);
+            self::fail('Expected assertion to fail due to missing error');
+        } catch (AssertionFailedError $e) { // @phpstan-ignore catch.internalClass
+            self::assertStringContainsString('Errors not reported:', $e->getMessage());
+            self::assertStringContainsString('Division by literal zero is not allowed', $e->getMessage());
+        }
+    }
+
 }