diff options
Diffstat (limited to 'include/klee/Solver.h')
| -rw-r--r-- | include/klee/Solver.h | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/include/klee/Solver.h b/include/klee/Solver.h index c82ab135..2f613992 100644 --- a/include/klee/Solver.h +++ b/include/klee/Solver.h @@ -296,9 +296,9 @@ namespace klee { /// \param s - The underlying solver to use. Solver *createIndependentSolver(Solver *s); - /// createPCLoggingSolver - Create a solver which will forward all queries - /// after writing them to the given path in .pc format. - Solver *createPCLoggingSolver(Solver *s, std::string path, + /// createKQueryLoggingSolver - Create a solver which will forward all queries + /// after writing them to the given path in .kquery format. + Solver *createKQueryLoggingSolver(Solver *s, std::string path, int minQueryTimeToLog); /// createSMTLIBLoggingSolver - Create a solver which will forward all queries |