Skip to content

Commit

Permalink
only run one scenario when applying code coverage
Browse files Browse the repository at this point in the history
  • Loading branch information
Baptouuuu committed Mar 24, 2024
1 parent 85a35c4 commit 5f45c93
Showing 1 changed file with 9 additions and 7 deletions.
16 changes: 9 additions & 7 deletions blackbox.php
Original file line number Diff line number Diff line change
Expand Up @@ -12,14 +12,16 @@
Application::new($argv)
->when(
\getenv('ENABLE_COVERAGE') !== false,
static fn(Application $app) => $app->codeCoverage(
CodeCoverage::of(
__DIR__.'/src/',
__DIR__.'/proofs/',
static fn(Application $app) => $app
->codeCoverage(
CodeCoverage::of(
__DIR__.'/src/',
__DIR__.'/proofs/',
)
->dumpTo('coverage.clover')
->enableWhen(true),
)
->dumpTo('coverage.clover')
->enableWhen(true),
),
->scenariiPerProof(1),
)
->tryToProve(Load::directory(__DIR__.'/tests'))
->exit();

0 comments on commit 5f45c93

Please sign in to comment.