C++ (Cpp) tst2の例

コード例 #1

ファイル: imdd.cpp プロジェクト: Moondee/Artemis

void tst_imdd() {
    // enable_trace("imdd_add_bug");
    // enable_trace("add_facts_bug");
    enable_trace("mk_distinct_imdd");
    enable_trace("mk_union_core");
    tst0();
    tst1();
    tst2();
    tst3();
    tst4();
    tst5();
    tst6();
    tst7();
    tst19();
    tst8();
    tst9();
    tst10();
    tst11();
    tst12();
    tst13();
    tst14();
    tst15();
    tst16();
    tst17();
    tst18();
    tst20();
    tst21();
}

コード例 #2

ファイル: old_interval.cpp プロジェクト: AleksandarZeljic/z3

void tst_old_interval() {
    tst2();
    enable_trace("interval_bug");
    interval_tester tester;
    tester.run();
    tst1();
}

コード例 #3

ファイル: main.cpp プロジェクト: CCJY/coliru

int main()
{
    test tst("this", 1);
    print(tst);
    test2 tst2("new");
    print(tst2);
}

コード例 #4

ファイル: test_rpn2cql.c プロジェクト: drigolin/node-zoom

int main (int argc, char **argv)
{
    YAZ_CHECK_INIT(argc, argv);
    YAZ_CHECK_LOG();
    tst1();
    tst2();
    YAZ_CHECK_TERM;
}

コード例 #5

ファイル: mpq.cpp プロジェクト: NikolajBjorner/z3

void tst_mpq() {
    tst_prev_power_2();
    set_str_bug();
    bug2();
    bug1();
    tst0();
    tst1();
    tst2();
}

コード例 #6

ファイル: mpff.cpp プロジェクト: AleksandarZeljic/z3

void tst_mpff() {
    disable_trace("mpff");
    enable_trace("mpff_trace");
    // enable_trace("mpff_bug");
    // enable_trace("mpff_to_mpq");
    //
    tst_div(2);
    tst_prev_power_2();
    tst_decimal();
    tst_div_core(679, 396, 279, 756, 2, 0);
    tst_limits(2);
    tst_limits(4);
    tst_sgn(2);
    tst_sgn(4);
    tst_sgn(8);
    tst_power(2);
    tst_power(4);
    tst_power(18);
    tst_capacity(2);
    tst_capacity(4);
    tst_capacity(8);
    tst_capacity(16);
    tst_set64(1000, 2);
    tst_set64(1000, 4);
    tst_set64(1000, 6);
    tst_bug2();

    tst_sub(1000, 1024, 2);
    tst_sub(1000, 1024, 4);
    tst_div(1000, 1024, 2, true);
    tst_div(1000, 1024, 4, true);
    tst_mul(1000, 1024, 2);
    tst_mul(1000, 1024, 4);
    tst_add(1000, 1024, 2);
    tst_add(1000, 1024, 4);

    tst_sub(1000, UINT_MAX, 2);
    tst_sub(1000, UINT_MAX, 4);
    tst_div(1000, UINT_MAX, 2, true);
    tst_div(1000, UINT_MAX, 4, true);
    tst_mul(1000, UINT_MAX, 2);
    tst_mul(1000, UINT_MAX, 4);
    tst_add(1000, UINT_MAX, 2);
    tst_add(1000, UINT_MAX, 4);

    tst_bug2();
    tst_bug();
    tst_add_core(1,1, 1,1);
    tst_add_core(1,3, 2,3);
    tst1();
    tst2();
    tst3();
    tst4();
    tst5();
    tst6();
    tst7();
}

コード例 #7

ファイル: total_order.cpp プロジェクト: AleksandarZeljic/z3

void tst_total_order() {
    bad_case(100, 1000);
    tst1();
    tst2();
    tst4(3,    1000000);
    tst4(100,  100000);
    tst4(512,  100000);
    tst4(1000, 100000);
    tst3(100,  100000);
    tst3(1000, 100000);
}

コード例 #8

ファイル: bit_vector.cpp プロジェクト: CharudattaSChitale/sygus-comp14

void tst_bit_vector() {
    tst_crash();
    tst_shift(); 
    tst_or();
    tst_and();
    tst_bv_reset();
    return;
    tst2();
    for (unsigned i = 0; i < 20; i++) {
        std::cerr << i << std::endl;
	tst1();
    }
}

コード例 #9

ファイル: gate.cpp プロジェクト: sukwon0709/byterun

 static void run_tests() {
     enable_trace("del_gate");
     enable_trace("sat_solver");
     enable_trace("gate");
     enable_trace("del_learned_clauses");
     tst1();
     tst1a();
     tst2();
     tst3();
     tst4();
     tst5();
     tst6();
     tst6a();
     tst7();
     tst8();
     tst9();
     tst10();
     tst11();
 }

コード例 #10

ファイル: tstRTStrCache.cpp プロジェクト: miguelinux/vbox

int main()
{
    RTTEST hTest;
    int rc = RTTestInitAndCreate("tstRTStrCache", &hTest);
    if (rc)
        return rc;
    RTTestBanner(hTest);

    /*
     * Smoke tests using first the default and then a custom pool.
     */
    RTTestSub(hTest, "Smoke test on default cache");
    tst1(RTSTRCACHE_DEFAULT);

    RTTestSub(hTest, "Smoke test on custom cache");
    RTSTRCACHE hStrCache;
    RTTESTI_CHECK_RC(rc = RTStrCacheCreate(&hStrCache, "test 2a"), VINF_SUCCESS);
    if (RT_SUCCESS(rc))
        RTTESTI_CHECK_RC(rc = RTStrCacheDestroy(hStrCache), VINF_SUCCESS);
    RTTESTI_CHECK_RC(rc = RTStrCacheDestroy(NIL_RTSTRCACHE), VINF_SUCCESS);
    RTTESTI_CHECK_RC(rc = RTStrCacheDestroy(RTSTRCACHE_DEFAULT), VINF_SUCCESS);
    RTTESTI_CHECK_RC(rc = RTStrCacheDestroy(RTSTRCACHE_DEFAULT), VINF_SUCCESS);

    RTTESTI_CHECK_RC(rc = RTStrCacheCreate(&hStrCache, "test 2b"), VINF_SUCCESS);
    if (RT_SUCCESS(rc))
    {
        tst1(hStrCache);
        RTTESTI_CHECK_RC(rc = RTStrCacheDestroy(hStrCache), VINF_SUCCESS);
    }

    /*
     * Cache performance on relatively real world examples.
     */
    tst2();

    /*
     * Summary.
     */
    return RTTestSummaryAndDestroy(hTest);
}

コード例 #11

ファイル: relevancy.cpp プロジェクト: sukwon0709/byterun

 static void run_tests() {
     tst1();
     tst2();
     tst3();
     tst4();
     tst5();
     tst6();
     tst7();
     tst8();
     tst9();
     tst10();
     tst11();
     tst12(CLS_MAIN);
     tst12(CLS_TRANSIENT);
     tst13(CLS_AUXILIARY);
     tst13(CLS_EXT_LEMMA);
     tst13(CLS_EXTERNAL);
     tst14();
     tst15();
     tst16();
     tst17();
     tst18();
 }

コード例 #12

int main(int argc, char **argv)
{
    RTTEST hTest;
    int rc = RTTestInitAndCreate("tstRTMemCache", &hTest);
    if (rc)
        return rc;
    RTTestBanner(hTest);
    g_hTest = hTest;

    tst1();
    tst2();
    if (RTTestIErrorCount() == 0)
    {
        uint32_t cSecs = argc == 1 ? 5 : 2;
        /*            threads, cbObj, cSecs */
        tst3AllMethods(     1,   256, cSecs);
        tst3AllMethods(     1,    32, cSecs);
        tst3AllMethods(     1,     8, cSecs);
        tst3AllMethods(     1,     2, cSecs);
        tst3AllMethods(     1,     1, cSecs);

        tst3AllMethods(     3,   256, cSecs);
        tst3AllMethods(     3,   128, cSecs);
        tst3AllMethods(     3,    64, cSecs);
        tst3AllMethods(     3,    32, cSecs);
        tst3AllMethods(     3,     2, cSecs);
        tst3AllMethods(     3,     1, cSecs);

        tst3AllMethods(    16,    32, cSecs);
    }

    /*
     * Summary.
     */
    return RTTestSummaryAndDestroy(hTest);
}

コード例 #13

ファイル: tstRTGetOptArgv.cpp プロジェクト: mdaniel/virtualbox-org-svn-vbox-trunk

int main()
{
    /*
     * Init RT+Test.
     */
    RTTEST hTest;
    int rc = RTTestInitAndCreate("tstRTGetOptArgv", &hTest);
    if (rc)
        return rc;
    RTTestBanner(hTest);

    /*
     * The test.
     */
    tst1();
    tst2();
    tst4();
    tst3();

    /*
     * Summary.
     */
    return RTTestSummaryAndDestroy(hTest);
}

コード例 #14

ファイル: watch_list.cpp プロジェクト: Moondee/Artemis

static void tst3() {
    for (unsigned i = 0; i < 1000; i++)
	tst2();
}

コード例 #15

ファイル: ext_numeral.cpp プロジェクト: CharudattaSChitale/sygus-comp14

void tst_ext_numeral() {
    tst1();
    tst2();
    tst3();
}