int run_tests() { test_check2_branch32(); test_check2_branch64(); test_check2_wright(); test_check2_massimino(); return 0; }
int run_tests(int argc, char *argv[]) { UPB_UNUSED(argc); UPB_UNUSED(argv); test_check2_branch32(); test_check2_branch64(); test_check2_wright(); test_check2_massimino(); return 0; }
int main() { test_branch32(); test_branch64(); test_check2_wright(); test_check2_massimino(); }