diff options
| author | Dan Liew <daniel.liew@imperial.ac.uk> | 2016-01-07 11:29:41 +0000 |
|---|---|---|
| committer | Dan Liew <daniel.liew@imperial.ac.uk> | 2016-01-12 11:40:39 +0000 |
| commit | c02b778b45449684d764fdbbc88648390abab7d7 (patch) | |
| tree | a737148bb81ad4d8a17b788311c13dc3579a2ec4 /test/Solver | |
| parent | 93d58323eba68e1aa80f1b7210f0d2a0968b2717 (diff) | |
| download | klee-c02b778b45449684d764fdbbc88648390abab7d7.tar.gz | |
Refactor MetaSMTSolver and MetaSMTSolverImpl out of Solver.cpp into
their own file ``MetaSMTSolver.cpp``. Whilst I'm here also clang-format the modified code. This might not be a NFC (non functional change) as there's a good chance this has broken the MetaSMT build of KLEE. I don't have a build of MetaSMT to hand and there is no TravisCI build. At this point because there is no maintainer for this code I think we should consider removing it as it is going bitrot.
Diffstat (limited to 'test/Solver')
0 files changed, 0 insertions, 0 deletions