diff options
| author | Hoang M. Le <hle@informatik.uni-bremen.de> | 2017-03-15 13:21:44 +0100 |
|---|---|---|
| committer | Dan Liew <delcypher@gmail.com> | 2017-06-02 12:52:55 +0100 |
| commit | 3ae967137fc715ff4ae5109895771fd1ca0724e4 (patch) | |
| tree | 14a5b756d2a714c81c2fd392315a806077b3aded /include | |
| parent | 641bc46d446865e80b15b8f2ffacde41f3b6dd53 (diff) | |
| download | klee-3ae967137fc715ff4ae5109895771fd1ca0724e4.tar.gz | |
replace handleMetaSMT() with klee::createMetaSMTSolver() and move it into MetaSMTSolver.cpp so that the backend headers only need to be included once there
Diffstat (limited to 'include')
| -rw-r--r-- | include/klee/Solver.h | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/include/klee/Solver.h b/include/klee/Solver.h index 32c8cf9e..7f12ddfb 100644 --- a/include/klee/Solver.h +++ b/include/klee/Solver.h @@ -253,7 +253,11 @@ namespace klee { virtual char *getConstraintLog(const Query&); virtual void setCoreSolverTimeout(double timeout); -}; + }; + + /// createMetaSMTSolver - Create a solver using the metaSMT backend set by + /// the option MetaSMTBackend. + Solver *createMetaSMTSolver(); #endif /* ENABLE_METASMT */ |