From 1194a90bee28867f751102711386424279cc2450 Mon Sep 17 00:00:00 2001
From: Baptiste Langlade <baptiste.langlade@hey.com>
Date: Sun, 23 Aug 2026 16:58:23 +0200
Subject: [PATCH 1/3] use blackbox 7

---
 composer.json | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/composer.json b/composer.json
index 7878395..e146899 100644
--- a/composer.json
+++ b/composer.json
@@ -42,7 +42,7 @@
     },
     "require-dev": {
         "innmind/static-analysis": "~1.3",
-        "innmind/black-box": "~6.2",
+        "innmind/black-box": "~7.0",
         "innmind/coding-standard": "~2.0"
     }
 }

From d0097c902a128f26eb90d554d7c288e10ab753a7 Mon Sep 17 00:00:00 2001
From: Baptiste Langlade <baptiste.langlade@hey.com>
Date: Sun, 23 Aug 2026 16:58:59 +0200
Subject: [PATCH 2/3] simplify blackbox configuration

---
 blackbox.php | 19 ++++++++-----------
 1 file changed, 8 insertions(+), 11 deletions(-)

diff --git a/blackbox.php b/blackbox.php
index 67a2468..3ca0a28 100644
--- a/blackbox.php
+++ b/blackbox.php
@@ -10,22 +10,19 @@
 };
 
 Application::new($argv)
-    ->when(
-        \getenv('BLACKBOX_SET_SIZE') !== false,
-        static fn(Application $app) => $app->scenariiPerProof((int) \getenv('BLACKBOX_SET_SIZE')),
-    )
-    ->when(
-        \getenv('ENABLE_COVERAGE') !== false,
-        static fn(Application $app) => $app
+    ->map(static fn($app) => match (\getenv('BLACKBOX_ENV')) {
+        'extensive' => $app->scenariiPerProof(1_000),
+        'coverage' => $app
             ->codeCoverage(
                 CodeCoverage::of(
                     __DIR__.'/src/',
-                    __DIR__.'/tests/',
+                    __DIR__.'/proofs/',
+                    __DIR__.'/fixtures/',
                 )
-                    ->dumpTo('coverage.clover')
-                    ->enableWhen(true),
+                    ->dumpTo('coverage.clover'),
             )
             ->scenariiPerProof(1),
-    )
+        default => $app,
+    })
     ->tryToProve(Load::directory(__DIR__.'/tests/'))
     ->exit();

From f8851d567b12261a2771a729bfaf1d979ba8f870 Mon Sep 17 00:00:00 2001
From: Baptiste Langlade <baptiste.langlade@hey.com>
Date: Sun, 23 Aug 2026 17:00:11 +0200
Subject: [PATCH 3/3] fix coverage folders

---
 blackbox.php | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/blackbox.php b/blackbox.php
index 3ca0a28..0f6e11b 100644
--- a/blackbox.php
+++ b/blackbox.php
@@ -16,8 +16,7 @@
             ->codeCoverage(
                 CodeCoverage::of(
                     __DIR__.'/src/',
-                    __DIR__.'/proofs/',
-                    __DIR__.'/fixtures/',
+                    __DIR__.'/tests/',
                 )
                     ->dumpTo('coverage.clover'),
             )