Ejemplos de tst0 en C++ (Cpp)

Ejemplo n.º 1

Archivo: imdd.cpp Proyecto: 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();
}

Ejemplo n.º 2

Archivo: tri_state_test.cpp Proyecto: derekdm3/systemc

int sc_main(int argc, char* argv[])
{
   tri_state ts0("ts0");
   tri_state_driver tsd0("tsd0");
   tri_state_trace tst0("tst0");

   sc_signal<bool> ready;
   sc_signal<bool> dina;
   sc_signal<bool> dinb;
   sc_signal<sc_logic> selectx;

   ts0.ready(ready);
   ts0.dina(dina);
   ts0.dinb(dinb);
   ts0.selectx(selectx);

   tsd0.ready(ready);
   tsd0.dina(dina);
   tsd0.dinb(dinb);

   tst0.ready(ready);
   tst0.dina(dina);
   tst0.dinb(dinb);
   tst0.selectx(selectx);

   sc_start(100, SC_NS);
   return 0;
}

Ejemplo n.º 3

Archivo: mpq.cpp Proyecto: NikolajBjorner/z3

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