diff options
author | Hristina Palikareva <h.palikareva@imperial.ac.uk> | 2013-08-06 18:25:16 +0100 |
---|---|---|
committer | Hristina Palikareva <h.palikareva@imperial.ac.uk> | 2013-08-06 18:25:16 +0100 |
commit | 4a426569a38760b9ecf34af46b4eeca76e21e8e6 (patch) | |
tree | fbba933bdc9f380b89192bbe25bee09d5a99a660 /include | |
parent | ca83defeab023dbfbbd21d8a497a42af9abdf7fd (diff) | |
download | klee-4a426569a38760b9ecf34af46b4eeca76e21e8e6.tar.gz |
TimingSolver and constructSolverChain() no longer coupled with pointers to STPSolver objects. Timeout is now set by the solver at the top of the solver chain rather than by STPSolver.
Diffstat (limited to 'include')
-rw-r--r-- | include/klee/Common.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/include/klee/Common.h b/include/klee/Common.h index 1418f1b6..7149708a 100644 --- a/include/klee/Common.h +++ b/include/klee/Common.h @@ -22,7 +22,7 @@ namespace klee { const char ALL_QUERIES_PC_FILE_NAME[]="all-queries.pc"; const char SOLVER_QUERIES_PC_FILE_NAME[]="solver-queries.pc"; - Solver *constructSolverChain(STPSolver *stpSolver, + Solver *constructSolverChain(Solver *coreSolver, std::string querySMT2LogPath, std::string baseSolverQuerySMT2LogPath, std::string queryPCLogPath, |