diff options
| author | Hristina Palikareva <h.palikareva@imperial.ac.uk> | 2013-08-06 17:59:08 +0100 |
|---|---|---|
| committer | Hristina Palikareva <h.palikareva@imperial.ac.uk> | 2013-08-06 17:59:08 +0100 |
| commit | ca83defeab023dbfbbd21d8a497a42af9abdf7fd (patch) | |
| tree | b23889c72bf3f743ae09e76eea04880a4822144c /lib/Solver/QueryLoggingSolver.h | |
| parent | 9abe9572e68748002d8bbb789587e2a036ff760d (diff) | |
| download | klee-ca83defeab023dbfbbd21d8a497a42af9abdf7fd.tar.gz | |
Methods getConstraintLog() and setTimeout() made virtual and moved from STPSolver to base Solver and SolverImpl classes, and consequently redefined in derived classes to call the corresponding methods down the solver chain. Method setTimeout() renamed to setCoreSolverTimeout().
Diffstat (limited to 'lib/Solver/QueryLoggingSolver.h')
| -rw-r--r-- | lib/Solver/QueryLoggingSolver.h | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/lib/Solver/QueryLoggingSolver.h b/lib/Solver/QueryLoggingSolver.h index 527d075b..2c7d80e8 100644 --- a/lib/Solver/QueryLoggingSolver.h +++ b/lib/Solver/QueryLoggingSolver.h @@ -70,7 +70,8 @@ public: std::vector< std::vector<unsigned char> > &values, bool &hasSolution); SolverRunStatus getOperationStatusCode(); - + char *getConstraintLog(const Query&); + void setCoreSolverTimeout(double timeout); }; #endif /* KLEE_QUERYLOGGINGSOLVER_H */ |