C++ (Cpp) tst8の例

コード例 #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

ファイル: 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();
 }

コード例 #3

ファイル: nlsat.cpp プロジェクト: martin-neuhaeusser/z3

void tst_nlsat() {
    tst10();
    std::cout << "------------------\n";
    exit(0);
    tst9();
    std::cout << "------------------\n";
    exit(0);
    tst8();
    std::cout << "------------------\n";
    tst7();
    std::cout << "------------------\n";
    tst6();
    std::cout << "------------------\n";
    tst5();
    std::cout << "------------------\n";
    tst4();
    std::cout << "------------------\n";
    tst3();
}

コード例 #4

ファイル: 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();
 }

コード例 #5

ファイル: inst6809.c プロジェクト: gordonjcp/miragetools

void tst()
{
  uint8_t t = FETCHB;

  tst8(t);
}

コード例 #6

ファイル: inst6809.c プロジェクト: gordonjcp/miragetools

void tstb()
{
  tst8(rb);
}

コード例 #7

ファイル: inst6809.c プロジェクト: gordonjcp/miragetools

void tsta()
{
  tst8(ra);
}