Test that a shrinking attempt that ends before it is prepared does not falsify a property in another way

Author: sebastianbergmann

tests/end-to-end/property-based-testing/_files/ShrinkingAttemptThatEndsBeforeItIsPreparedTest.php

@@ -0,0 +1,41 @@
+<?php declare(strict_types=1);
+/*
+ * This file is part of PHPUnit.
+ *
+ * (c) Sebastian Bergmann <sebastian@phpunit.de>
+ *
+ * For the full copyright and license information, please view the LICENSE
+ * file that was distributed with this source code.
+ */
+namespace PHPUnit\TestFixture\PropertyBasedTesting;
+
+use PHPUnit\Framework\Attributes\Property;
+use PHPUnit\Framework\TestCase;
+use RuntimeException;
+
+final class ShrinkingAttemptThatEndsBeforeItIsPreparedTest extends TestCase
+{
+    private static int $numberOfExamples = 0;
+
+    /**
+     * The example that falsifies the property and its four replays are
+     * prepared, the first shrinking attempt is not.
+     */
+    protected function setUp(): void
+    {
+        self::$numberOfExamples++;
+
+        if (self::$numberOfExamples === 6) {
+            throw new RuntimeException('The first shrinking attempt is not prepared');
+        }
+    }
+
+    /**
+     * @param int<0, 100> $value
+     */
+    #[Property]
+    public function testIsFalsifiedByEveryExample(int $value): void
+    {
+        $this->assertGreaterThan(100, $value);
+    }
+}

tests/end-to-end/property-based-testing/shrinking-attempt-that-ends-before-it-is-prepared.phpt

@@ -0,0 +1,36 @@
+--TEST--
+A shrinking attempt that ends before it is prepared does not falsify the property in another way
+--FILE--
+<?php declare(strict_types=1);
+$_SERVER['argv'][] = '--no-configuration';
+$_SERVER['argv'][] = '--do-not-record-test-run-history';
+$_SERVER['argv'][] = '--random-seed';
+$_SERVER['argv'][] = '1234';
+$_SERVER['argv'][] = __DIR__ . '/_files/ShrinkingAttemptThatEndsBeforeItIsPreparedTest.php';
+
+require __DIR__ . '/../../bootstrap.php';
+
+(new PHPUnit\TextUI\Application)->run($_SERVER['argv']);
+--EXPECTF--
+PHPUnit %s by Sebastian Bergmann and contributors.
+
+Runtime: %s
+Random Seed:   1234
+
+F                                                                   1 / 1 (100%)
+
+Time: %s, Memory: %s
+
+There was 1 failure:
+
+1) PHPUnit\TestFixture\PropertyBasedTesting\ShrinkingAttemptThatEndsBeforeItIsPreparedTest::testIsFalsifiedByEveryExample
+Failed asserting that 0 is greater than 100.
+
+Property falsified after 1 example with this counterexample:
+
+    $value = 0;
+
+%sShrinkingAttemptThatEndsBeforeItIsPreparedTest.php:%d
+
+FAILURES!
+Tests: 1, Assertions: 1, Failures: 1.