Exemplos de ut_run em C++ (Cpp)

Exemplo n.º 1

Arquivo: symstring_tests.c Projeto: cmacro/simple

static int
test_all(void)
{
  ut_run(test_symstringInsert);
  ut_run(test_symstringDelete);
  ut_run(test_symstringSubstitute);
  ut_run(test_substitutionSubstitute);
  ut_run(test_substitutionApply);
  return 0;
}

Exemplo n.º 2

Arquivo: halmos_tests.c Projeto: cmacro/simple

static int
all(void)
{
  ut_run(test_test1);
  // ut_run(test_big_unifier);
  // ut_run(test_big_unifier_comp);
  ut_run(test_recursive_include);
  ut_run(test_symbol_import);
  ut_run(test_bugged_1);
  // ut_run(test_demo0);
  // ut_run(test_miu);
  // ut_run(test_hol);
  return 0;
}

Exemplo n.º 3

Arquivo: check_p_box3x3_f32.c Projeto: hongyunnchen/pal

int main(int argc, char *argv[])
{
    int ret;
    char buf[1024] = { 0 };

    struct ut_suite *suite = &p_box3x3_f32_suite;

    ret = ut_run(suite);

    ut_report(buf, ARRAY_SIZE(buf), suite, true);
#ifdef __epiphany__
    memcpy((void *) epiphany_results, buf, sizeof(buf));
    epiphany_status->returncode = ret;
    epiphany_status->done = 1;
#else
    printf("%s", buf);
#endif

#if 0
    p = test_out;
    for ( i = 0; i < ROWS - 2; i++ ) {
        for ( j = 0; j < COLS - 2; j++ ) {
            printf("%f\t", *p++);
        }
        printf("\n");
    }
#endif

    return ret;
}

Exemplo n.º 4

Arquivo: simple.c Projeto: 6thimage/pal

int main(int argc, char *argv[])
{
    int ret;
    char buf[1024] = { 0 };

    struct ut_suite *suite;

    parse_options_or_die(argc, argv);

    if (gold_file)
        read_gold_file_or_die(argv[0]);

    if (generate_gold_flag) {
        suite = &PRINT_GOLD_SUITE;
    } else {
        suite = &FUNCTION_SUITE;
    }

    ret = ut_run(suite);

    ut_report(buf, ARRAY_SIZE(buf), suite, true);

    printf("%s", buf);

    return ret;
}

Exemplo n.º 5

Arquivo: check_p_sincos.c Projeto: 6thimage/pal

int main(int argc, char *argv[])
{
    int ret;
    char buf[1024] = { 0 };

    struct ut_suite *suite;

    suite = &FUNCTION_SUITE;

    ret = ut_run(suite);

    ut_report(buf, ARRAY_SIZE(buf), suite, true);

    printf("%s", buf);

    return ret;
}

Exemplo n.º 6

Arquivo: check_p_xcorr_f32.c Projeto: joerg-h/pal

int main(int argc, char *argv[])
{
    int ret;
    char buf[1024] = { 0 };

    struct ut_suite *suite = &p_xcorr_f32_suite;

    ret = ut_run(suite);

    ut_report(buf, ARRAY_SIZE(buf), suite, true);
#ifdef __epiphany__
    memcpy((void *) epiphany_results, buf, sizeof(buf));
    epiphany_status->returncode = ret;
    epiphany_status->done = 1;
#else
    printf("%s", buf);
#endif

    return ret;
}

Exemplo n.º 7

Arquivo: verifier_tests.c Projeto: cmacro/simple

static int
all(void)
{
  ut_run(Test_frameInit);
  ut_run(Test_verifierInit);
  ut_run(Test_verifierAddSymbol);
  ut_run(Test_verifierGetSymId);
  ut_run(Test_verifierDeactivateSymbols);
  ut_run(Test_verifierAddDisjoint);
  ut_run(Test_verifierGetVariables);
  ut_run(Test_verifierMakeFrame);
  ut_run(Test_verifierIsValidDisjointPairSubstitution);
  ut_run(Test_verifierIsValidSubstitution);
  ut_run(Test_verifierUnify);
  ut_run(Test_verifierApplyAssertion);
  ut_run(Test_verifierParseSymbol);
  ut_run(Test_verifierParseStatementContent);
  ut_run(Test_verifierParseConstants);
  ut_run(Test_verifierParseVariables);
  ut_run(Test_verifierParseDisjoints);
  ut_run(Test_verifierParseFloating);
  ut_run(Test_verifierParseEssential);
  ut_run(Test_verifierParseAssertion);
  ut_run(Test_verifierParseProofSymbol);
  ut_run(Test_verifierParseProof);
  ut_run(Test_verifierParseProvable);
  ut_run(Test_verifierParseUnlabelledStatement);
  ut_run(Test_verifierParseLabelledStatement);
  ut_run(Test_verifierParseStatement);
  ut_run(Test_verifierParseBlock);
  return 0;
}

Exemplo n.º 8

Arquivo: preproc_tests.c Projeto: cmacro/simple

static int
all(void)
{
  ut_run(test_preprocInit);
  return 0;
}