ccadar/klee — pull request #21 by delcypher (2013-08-23 17:14:06+00:00)
Title: Fix queries not being logged correctly if an assertion failure is hit.

In QueryLoggingSolver call flush() on std::ofstream so that queries get correctly logged if an assertion failure is hit later on.