static void check_random_ineqs() { random_gen r(1); for (unsigned i = 0; i < 1009; ++i) { check_random_ineqs(r, 4, 5, 5, 3, 6); } }
static void check_random_ineqs() { random_gen r(1); ast_manager m; reg_decl_plugins(m); for (unsigned i = 0; i < 100; ++i) { check_random_ineqs(r, m, 4, 5, 5, 3, 6); } }
void tst_model_based_opt() { check_random_ineqs(); test1(); test2(); test3(); test4(); test5(); test6(); test7(); }
void tst_qe_arith() { test_project(); return; check_random_ineqs(); return; // enable_trace("qe"); testI(example8); testR(example7); test_ineqs(); return; testR(example1); testR(example2); testR(example3); testR(example4); testR(example5); return; test2(example6); return; }