test04.php

<?php
// test04.php -- HotCRP user database tests
// Copyright (c) 2006-2022 Eddie Kohler; see LICENSE.

declare(strict_types=1);
require_once(__DIR__ . '/setup.php');
TestRunner::run(
    "Cdb_Tester"
);