int main()
{
RTTEST hTest;
RTEXITCODE rcExit = RTTestInitAndCreate("tstRTDirCreateUniqueNumbered", &hTest);
if (rcExit)
return rcExit;
RTTestBanner(hTest);
/*
* Get the temp directory (this is essential to the testcase).
*/
int rc;
RTTESTI_CHECK_RC(rc = RTPathTemp(g_szTempPath, sizeof(g_szTempPath)), VINF_SUCCESS);
if (RT_FAILURE(rc))
return RTTestSummaryAndDestroy(hTest);
/*
* Create some test directories.
*/
tst1(1, 1, 0 );
tst1(2, 1, '-');
tst1(3, 2, 0 );
tst1(4, 2, '-');
/*
* Summary.
*/
return RTTestSummaryAndDestroy(hTest);
}
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_old_interval() {
tst2();
enable_trace("interval_bug");
interval_tester tester;
tester.run();
tst1();
}
int main (int argc, char **argv)
{
YAZ_CHECK_INIT(argc, argv);
YAZ_CHECK_LOG();
tst1();
tst2();
YAZ_CHECK_TERM;
}
void tst_mpq() {
tst_prev_power_2();
set_str_bug();
bug2();
bug1();
tst0();
tst1();
tst2();
}
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();
}
int main()
{
RTTEST hTest;
int rc = RTTestInitAndCreate("tstRTMemPool", &hTest);
if (rc)
return rc;
RTTestBanner(hTest);
g_hTest = hTest;
/*
* Smoke tests using first the default and then a custom pool.
*/
RTTestSub(hTest, "Smoke test on default pool");
tst1(RTMEMPOOL_DEFAULT);
RTTestSub(hTest, "Smoke test on custom pool");
RTMEMPOOL hMemPool;
RTTESTI_CHECK_RC(rc = RTMemPoolCreate(&hMemPool, "test 2a"), VINF_SUCCESS);
if (RT_SUCCESS(rc))
RTTESTI_CHECK_RC(rc = RTMemPoolDestroy(hMemPool), VINF_SUCCESS);
RTTESTI_CHECK_RC(rc = RTMemPoolDestroy(NIL_RTMEMPOOL), VINF_SUCCESS);
RTTESTI_CHECK_RC(rc = RTMemPoolDestroy(RTMEMPOOL_DEFAULT), VINF_SUCCESS);
RTTESTI_CHECK_RC(rc = RTMemPoolDestroy(RTMEMPOOL_DEFAULT), VINF_SUCCESS);
RTTESTI_CHECK_RC(rc = RTMemPoolCreate(&hMemPool, "test 2b"), VINF_SUCCESS);
if (RT_SUCCESS(rc))
{
tst1(hMemPool);
RTTESTI_CHECK_RC(rc = RTMemPoolDestroy(hMemPool), VINF_SUCCESS);
}
/*
* Further tests.
*/
tst3();
tst4();
/*
* Summary.
*/
return RTTestSummaryAndDestroy(hTest);
}
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);
}
int main()
{
RTTEST hTest;
int rc = RTTestInitAndCreate("tstRTStrAlloc", &hTest);
if (rc)
return rc;
RTTestBanner(hTest);
tst1();
return RTTestSummaryAndDestroy(hTest);
}
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);
}
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();
}
}
void tst_algebraic() {
// enable_trace("resultant_bug");
// enable_trace("poly_sign");
disable_trace("algebraic");
// enable_trace("mpbq_bug");
// enable_trace("mpz_mul2k");
// enable_trace("mpz_gcd");
tst_root();
tst_isolate_roots();
ex1();
tst_eval_sign();
tst_select_small();
tst_dejan();
tst_wilkinson();
tst1();
tst_refine_mpbq();
}
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();
}
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();
}
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);
}
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);
}
void tst_mpfx() {
tst_prev_power_2();
tst1();
}
int main() {
tst1();
return lean::has_violations() ? 1 : 0;
}
static void run_tests() {
enable_trace("th_prop");
enable_trace("scope");
enable_trace("conflict");
tst1();
}
void tst_matcher() {
tst1();
}
void tst_ext_numeral() {
tst1();
tst2();
tst3();
}
void tst_map() {
tst1();
}
void tst_symbol() {
tst1();
}
void tst_watch_list() {
tst1();
tst3();
}
void tst_ini_file() {
tst1();
}
void run() {
bugs();
tst1();
}
