function printResultCallback(int $testNumber, string $testName, Result $result) { echo ($result->isPassed() ? "ok" : "not ok") . ' ' . $testNumber . ' ' . $testName . "\n"; if (!$result->isPassed()) { echo $result->getError() . "\n"; } }