diff options
| author | Martin Nowack <martin@se.inf.tu-dresden.de> | 2016-03-23 21:48:12 +0100 |
|---|---|---|
| committer | Martin Nowack <martin@se.inf.tu-dresden.de> | 2016-03-23 21:48:12 +0100 |
| commit | 20eb0485850073fafdac07a630cededf8b99c536 (patch) | |
| tree | 445080c0a8bfef0fcb473a5ad4a4eab93f94baca /lib/Solver/QueryLoggingSolver.h | |
| parent | 082e9d7bab796eda37624c026d8d006608625b90 (diff) | |
| download | klee-20eb0485850073fafdac07a630cededf8b99c536.tar.gz | |
Refactoring of conditional flush into own function.
@delcypher: Thanks a lot Dan!
Diffstat (limited to 'lib/Solver/QueryLoggingSolver.h')
| -rw-r--r-- | lib/Solver/QueryLoggingSolver.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/lib/Solver/QueryLoggingSolver.h b/lib/Solver/QueryLoggingSolver.h index 3068f2ab..bb266c67 100644 --- a/lib/Solver/QueryLoggingSolver.h +++ b/lib/Solver/QueryLoggingSolver.h @@ -55,6 +55,7 @@ protected: virtual void printQuery(const Query &query, const Query *falseQuery = 0, const std::vector<const Array *> *objects = 0) = 0; + void flushBufferConditionally(bool writeToFile); public: QueryLoggingSolver(Solver *_solver, std::string path, |