C++ (Cpp) test_quant_solve1 примеры использования

Пример #1

Файл: quant_solve.cpp Проект: CharudattaSChitale/sygus-comp14

void tst_quant_solve() {

    test_quant_solve1();   

    memory::finalize();
#ifdef _WINDOWS
    _CrtDumpMemoryLeaks();
#endif
    exit(0);
}

Пример #2

Файл: quant_solve.cpp Проект: CHolmes3/z3

void tst_quant_solve() {
    disable_debug("heap");

    test_quant_solve1();   

    memory::finalize();
#ifdef _WINDOWS
    _CrtDumpMemoryLeaks();
#endif
    exit(0);
}