diff options
| author | Dan Liew <delcypher@gmail.com> | 2013-11-05 14:13:11 -0800 |
|---|---|---|
| committer | Dan Liew <delcypher@gmail.com> | 2013-11-05 14:13:11 -0800 |
| commit | daa26b1240e1f17854040975f220b1d62430a8e7 (patch) | |
| tree | c41acf9630c464b29a8ed8ea4946499296f45715 /lib/Solver/SolverStats.h | |
| parent | a8dbdafd32483da1f2aff3852a405c2cef9753f9 (diff) | |
| parent | 23225879b4e36c7926bc86dc22b4a6690fd0df4e (diff) | |
| download | klee-daa26b1240e1f17854040975f220b1d62430a8e7.tar.gz | |
Merge pull request #63 from delcypher/nouclibc
Exit if using --libc=uclibc and KLEE was not configured with uclibc
Diffstat (limited to 'lib/Solver/SolverStats.h')
0 files changed, 0 insertions, 0 deletions