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 /lib/Core/Common.h | |
| 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 'lib/Core/Common.h')
0 files changed, 0 insertions, 0 deletions