SMTLIBLoggingSolver(Solver *_solver,
std::string path,
int queryTimeToLog)
: QueryLoggingSolver(_solver, path, ";", queryTimeToLog)
{
//Setup the printer
printer.setOutput(logBuffer);
}
SMTLIBLoggingSolver(Solver *_solver, std::string path)
: solver(_solver),
os(path.c_str(), std::ios::trunc),
printer(),
queryCount(0),
startTime(0)
{
//Setup the printer
printer = createSMTLIBPrinter();
printer->setOutput(os);
}
