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(); }
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(); }
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(); }
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(); }
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(); }
void tst_nlsat() { tst5(); tst4(); tst3(); }