コード例 #1
0
ファイル: quant_solve.cpp プロジェクト: CHolmes3/z3
void tst_quant_solve() {
    disable_debug("heap");

    test_quant_solve1();   

    memory::finalize();
#ifdef _WINDOWS
    _CrtDumpMemoryLeaks();
#endif
    exit(0);
}
コード例 #2
0
ファイル: log_test.cpp プロジェクト: felipe-lavratti/chelper
	void teardown()
	{
		sys_set_interception(false);
		disable_debug();
	}