Use innmind/black-box 7

CHANGELOG.md

@@ -1,5 +1,11 @@
 # Changelog
 
+## [Unreleased]
+
+### Changed
+
+- Requires `innmind/black-box:~7.0`
+
 ## 3.0.0 - 2026-01-26
 
 ### Added

blackbox.php

@@ -23,8 +23,7 @@
                     __DIR__.'/src/',
                     __DIR__.'/tests/',
                 )
-                    ->dumpTo('coverage.clover')
-                    ->enableWhen(true),
+                    ->dumpTo('coverage.clover'),
             ),
     )
     ->tryToProve(Load::directory(__DIR__.'/tests/'))

composer.json

@@ -31,16 +31,16 @@
     },
     "require-dev": {
         "innmind/static-analysis": "~1.3",
-        "innmind/black-box": "~6.5",
+        "innmind/black-box": "~7.0",
         "innmind/coding-standard": "~2.0"
     },
     "conflict": {
-        "innmind/black-box": "<6.0|~7.0"
+        "innmind/black-box": "<7.0|~8.0"
     },
     "suggest": {
         "innmind/black-box": "For property based testing"
     },
     "provide": {
-        "innmind/black-box-sets": "6.0"
+        "innmind/black-box-sets": "7.0"
     }
 }

fixtures/MediaType.php

@@ -13,9 +13,9 @@
 final class MediaType
 {
     /**
-     * @return Set\Provider<Model>
+     * @return Set<Model>
      */
-    public static function any(): Set\Provider
+    public static function any(): Set
     {
         $alphaNumerical = [...\range('A', 'Z'), ...\range('a', 'z'), ...\range(0, 9)];
         $validChars = Set::compose(

tests/Fixtures/MediaTypeTest.php

@@ -18,13 +18,12 @@ class MediaTypeTest extends TestCase
 
     public function testInterface()
     {
-        $set = MediaType::any();
+        $set = MediaType::any()->take(100);
 
-        $this->assertInstanceOf(Set\Provider::class, $set);
+        $this->assertInstanceOf(Set::class, $set);
 
-        foreach ($set->toSet()->values(Random::default) as $value) {
+        foreach ($set->values(Random::default) as $value) {
             $this->assertInstanceOf(Set\Value::class, $value);
-            $this->assertTrue($value->immutable());
             $this->assertInstanceOf(Model::class, $value->unwrap());
         }
     }

tests/MediaTypeTest.php

@@ -130,10 +130,12 @@ public function testThrowWhenSubTypeInvalid(): BlackBox\Proof
                 Set::strings()->exclude(static fn($type) => (bool) \preg_match('~^[A-Za-z0-9][A-Za-z0-9!#$&^_.-]{0,126}$~', $type)),
             )
             ->prove(function($type) {
-                $this->expectException(\DomainException::class);
-                $this->expectExceptionMessage($type);
-
-                $_ = MediaType::from(TopLevel::application, $type);
+                $this
+                    ->assert()
+                    ->throws(
+                        static fn() => MediaType::from(TopLevel::application, $type),
+                        \DomainException::class,
+                    );
             });
     }
 

tests/ParameterTest.php

@@ -38,10 +38,12 @@ public function testThrowWhenNameInvalid(): BlackBox\Proof
                 Set::strings(),
             )
             ->prove(function($name, $value) {
-                $this->expectException(\DomainException::class);
-                $this->expectExceptionMessage($name);
-
-                $_ = Parameter::from($name, $value);
+                $this
+                    ->assert()
+                    ->throws(
+                        static fn() => Parameter::from($name, $value),
+                        \DomainException::class,
+                    );
             });
     }
 
@@ -54,7 +56,7 @@ public function testAcceptValueContainedInDoubleQuotes(): BlackBox\Proof
                     Set::strings()->chars()->alphanumerical(),
                     Set::strings()
                         ->madeOf(
-                            Set\Chars::alphanumerical(),
+                            Set::strings()->chars()->alphanumerical(),
                             Set::of('!', '#', '$', '&', '^', '_', '.', '-'),
                         )
                         ->between(0, 125),