Welcome to BlackBox

BlackBox is a Property Based Testing framework.

It leverages randomness to prove the correctness of your code.

It's the main testing framework for the Innmind ecosystem.

It allows to:

• write tests (1)
• write proofs
• write properties
• generate random data

1. Like any other PHP testing framework

Its Functional¹ design also allows you to use it for your own scenarii.

Sneak peek

tests.php

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

Application::new([])
    ->scenariiPerProof(1_000)
    ->tryToProve(static function(Prove $prove) {
        yield $prove
            ->proof('Add is commutative')
            ->given(
                Set::integers(),
                Set::integers(),
            )
            ->test(static function(Assert $assert, int $a, int $b) {
                $assert->same(
                    add($a, $b),
                    add($b, $a),
                );
            });
    })
    ->exit();

---

1. As in Functional Programming ↩