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 /runtime/klee-libc/atexit.c | |
| 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 'runtime/klee-libc/atexit.c')
0 files changed, 0 insertions, 0 deletions