From abeedc48c955c86906c8bbea868a1d8969a48a13 Mon Sep 17 00:00:00 2001
From: Baptiste Langlade <baptiste.langlade@hey.com>
Date: Sat, 2 Aug 2025 14:07:01 +0200
Subject: [PATCH] display all run scenarii instead of a single dot for
 everything

---
 tests/ServerRequest/DecodeQueryTest.php |  6 ++---
 tests/ServerRequest/TransformTest.php   | 30 ++++++++++++-------------
 2 files changed, 18 insertions(+), 18 deletions(-)

diff --git a/tests/ServerRequest/DecodeQueryTest.php b/tests/ServerRequest/DecodeQueryTest.php
index faeff8d..e8b7bdd 100644
--- a/tests/ServerRequest/DecodeQueryTest.php
+++ b/tests/ServerRequest/DecodeQueryTest.php
@@ -23,14 +23,14 @@ class DecodeQueryTest extends TestCase
 {
     use BlackBox;
 
-    public function testDecodeQueryFromUrl()
+    public function testDecodeQueryFromUrl(): BlackBox\Proof
     {
-        $this
+        return $this
             ->forAll(
                 Set::of(...Method::cases()),
                 Set::of(...ProtocolVersion::cases()),
             )
-            ->then(function($method, $protocol) {
+            ->prove(function($method, $protocol) {
                 $request = Request::of(
                     Url::of('/?some[key]=value&foo=bar'), // without the first // it interprets the host as the scheme
                     $method,
diff --git a/tests/ServerRequest/TransformTest.php b/tests/ServerRequest/TransformTest.php
index 5bad194..ac77aa0 100644
--- a/tests/ServerRequest/TransformTest.php
+++ b/tests/ServerRequest/TransformTest.php
@@ -26,14 +26,14 @@ class TransformTest extends TestCase
 {
     use BlackBox;
 
-    public function testInjectHostInUrlFromHeader()
+    public function testInjectHostInUrlFromHeader(): BlackBox\Proof
     {
-        $this
+        return $this
             ->forAll(
                 Set::of(...Method::cases()),
                 Set::of(...ProtocolVersion::cases()),
             )
-            ->then(function($method, $protocol) {
+            ->prove(function($method, $protocol) {
                 $request = Request::of(
                     Url::of('/foo'),
                     $method,
@@ -52,14 +52,14 @@ public function testInjectHostInUrlFromHeader()
             });
     }
 
-    public function testDoesntInjectHostInUrlFromHeaderIfAlreadyInUrl()
+    public function testDoesntInjectHostInUrlFromHeaderIfAlreadyInUrl(): BlackBox\Proof
     {
-        $this
+        return $this
             ->forAll(
                 Set::of(...Method::cases()),
                 Set::of(...ProtocolVersion::cases()),
             )
-            ->then(function($method, $protocol) {
+            ->prove(function($method, $protocol) {
                 $request = Request::of(
                     Url::of('//example.com:443/foo'), // without the first // it interprets the host as the scheme
                     $method,
@@ -78,14 +78,14 @@ public function testDoesntInjectHostInUrlFromHeaderIfAlreadyInUrl()
             });
     }
 
-    public function testInjectUserInformationInUrlFromHeader()
+    public function testInjectUserInformationInUrlFromHeader(): BlackBox\Proof
     {
-        $this
+        return $this
             ->forAll(
                 Set::of(...Method::cases()),
                 Set::of(...ProtocolVersion::cases()),
             )
-            ->then(function($method, $protocol) {
+            ->prove(function($method, $protocol) {
                 $request = Request::of(
                     Url::of('/foo'),
                     $method,
@@ -107,9 +107,9 @@ public function testInjectUserInformationInUrlFromHeader()
             });
     }
 
-    public function testDoesntInjectUserInformationInUrlFromHeaderIfNotBasicScheme()
+    public function testDoesntInjectUserInformationInUrlFromHeaderIfNotBasicScheme(): BlackBox\Proof
     {
-        $this
+        return $this
             ->forAll(
                 Set::of(...Method::cases()),
                 Set::of(...ProtocolVersion::cases()),
@@ -118,7 +118,7 @@ public function testDoesntInjectUserInformationInUrlFromHeaderIfNotBasicScheme()
                     ->atLeast(1),
                 Set::strings(),
             )
-            ->then(function($method, $protocol, $scheme, $token) {
+            ->prove(function($method, $protocol, $scheme, $token) {
                 $request = Request::of(
                     Url::of('/foo'),
                     $method,
@@ -137,14 +137,14 @@ public function testDoesntInjectUserInformationInUrlFromHeaderIfNotBasicScheme()
             });
     }
 
-    public function testDoesntInjectUserInformationInUrlFromHeaderIfAlreadyInUrl()
+    public function testDoesntInjectUserInformationInUrlFromHeaderIfAlreadyInUrl(): BlackBox\Proof
     {
-        $this
+        return $this
             ->forAll(
                 Set::of(...Method::cases()),
                 Set::of(...ProtocolVersion::cases()),
             )
-            ->then(function($method, $protocol) {
+            ->prove(function($method, $protocol) {
                 $request = Request::of(
                     Url::of('//some:pwd@/foo'), // without the first // it interprets the host as the scheme
                     $method,