Skip to content
GitLab
Explore
Sign in
Daniel Liew
klee-cl
Repository
klee-cl
lib
Solver
QueryLoggingSolver.cpp
Find file
Blame
History
Permalink
In QueryLoggingSolver call flush() on std::ofstream so that queries
· f5d12c14
Daniel Liew
authored
Aug 23, 2013
get correctly logged if an assertion failure is hit later on.
f5d12c14