blackbox.php

<?php
declare(strict_types = 1);

require 'vendor/autoload.php';

use Innmind\BlackBox\{
    Application,
    Runner\Load,
    Runner\CodeCoverage,
    PHPUnit,
};

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 
            ->scenariiPerProof(1)
            ->codeCoverage(
                CodeCoverage::of(
                    __DIR__.'/src/',
                    __DIR__.'/proofs/',
                )
                    ->dumpTo('coverage.clover'),
            ),
    )
    ->tryToProve(static function($prove) {
        yield from Load::everythingIn(__DIR__.'/proofs/')($prove);
        yield from PHPUnit\Load::testsAt(__DIR__.'/tests/');
    })
    ->exit();