#include <stdio.h>

#include "test.h"

int main(int argc, char *argv[]) {
    printf("%s:\n", argv[0]);
    for (size_t i = 0; i < NUM_TEST_CASES; ++i) {
        printf("  * %s: ", TEST_CASES[i].name);
        TEST_CASES[i].test();
        printf("OK!\n");
    }
    return 0;
}