Commit f5d12c14 authored by Daniel Liew's avatar Daniel Liew
Browse files

In QueryLoggingSolver call flush() on std::ofstream so that queries

get correctly logged if an assertion failure is hit later on.
parent 4c060418
......@@ -74,6 +74,7 @@ void QueryLoggingSolver::flushBuffer() {
// we do additional check here to log only timeouts in case
// user specified negative value for minQueryTimeToLog param
os << logBuffer.str();
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment