Skip to content

Commit 5ef3833

Browse files
committed
take into account the number of scenarii
1 parent 1957469 commit 5ef3833

1 file changed

Lines changed: 4 additions & 0 deletions

File tree

blackbox.php

Lines changed: 4 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -10,6 +10,10 @@
1010
};
1111

1212
Application::new($argv)
13+
->when(
14+
\getenv('BLACKBOX_SET_SIZE') !== false,
15+
static fn(Application $app) => $app->scenariiPerProof((int) \getenv('BLACKBOX_SET_SIZE')),
16+
)
1317
->when(
1418
\getenv('ENABLE_COVERAGE') !== false,
1519
static fn(Application $app) => $app

0 commit comments

Comments
 (0)