Merge branch 'develop'

* develop: specify next release fix test fix return type for global property function
Innmind · Feb 19, 2024 · b927472 · b927472
2 parents f3cea21 + c51e9f0
commit b927472
Show file tree

Hide file tree

Showing 3 changed files with 9 additions and 3 deletions.
diff --git a/CHANGELOG.md b/CHANGELOG.md
@@ -1,5 +1,11 @@
 # Changelog
 
+## 5.6.3 - 2024-02-19
+
+### Fixed
+
+- The global function `property` return type is now `Innmind\BlackBox\Runner\Proof\Property` allowing you to name the property
+
 ## 5.6.2 - 2024-01-28
 
 ### Fixed

diff --git a/src/Runner/global.php b/src/Runner/global.php
@@ -46,7 +46,7 @@ function given(Set $first, Set ...$rest): Given
 function property(
     string $property,
     Set $systemUnderTest,
-): Proof {
+): Proof\Property {
     return \Innmind\BlackBox\Runner\property($property, $systemUnderTest);
 }
 

diff --git a/tests/Set/IntegersTest.php b/tests/Set/IntegersTest.php
@@ -242,8 +242,8 @@ public function testShrinkingStrategiesNeverProduceTheSameResultTwice()
         do {
             $this->assertNotSame($previous->unwrap(), $integer->unwrap());
             $previous = $integer;
-            $integer = $integer->shrink()->b();
-        } while ($integer->shrinkable());
+            $integer = $integer->shrink()?->b();
+        } while ($integer?->shrinkable() ?? false);
     }
 
     public function testInitialBoundsAreAlwaysRespectedWhenShrinking()