Exemple #1
0
int run_tests() {
  test_check2_branch32();
  test_check2_branch64();
  test_check2_wright();
  test_check2_massimino();
  return 0;
}
Exemple #2
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;
}
Exemple #3
0
int main() {
  test_branch32();
  test_branch64();
  test_check2_wright();
  test_check2_massimino();
}