Organization

So far all tests/proofs/properties have been declared in the blackbox.php file. This is fine for examples. But in a real project with hundreds of them this is not manageable.

Since it uses a Generator you can easily split them into multiple files:

BlackBoxFile1File2Etc...

blackbox.php

use Innmind\BlackBox\Application;

Application::new([])
    ->tryToProve(static function(): \Generator {
        yield from (require 'proofs/file1.php')();
        yield from (require 'proofs/file2.php')();
        yield from (require 'proofs/etc.php')();
    })
    ->exit();

proofs/file1.php

use Innmind\BlackBox\{
    Runner\Assert,
    Set,
};

return static function(): \Generator {
    yield proof(
        'Some proof',
        given(Set\Integers::any()),
        static function(Assert $assert, int $value) {
            // your code here
        },
    );
};

proofs/file2.php

use Innmind\BlackBox\{
    Runner\Assert,
    Set,
};

return static function(): \Generator {
    yield proof(
        'Some proof',
        given(Set\Strings::any()),
        static function(Assert $assert, int $value) {
            // your code here
        },
    );
};

proofs/etc.php

use Innmind\BlackBox\{
    Runner\Assert,
    Set,
};

return static function(): \Generator {
    yield test(
        'Some proof',
        static function(Assert $assert) {
            // your code here
        },
    );
};

This way you can enforce the order in which the files are loaded. However it becomes tedious to modify blackbox.php each time you add a file in proofs/.

Instead you can load all files like this:

blackbox.php

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

Application::new([])
    ->tryToProve(Load::everythingIn('proofs/'))
    ->exit();