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 /docs | |
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 'docs')
0 files changed, 0 insertions, 0 deletions