diff options
| author | Dan Liew <daniel.liew@imperial.ac.uk> | 2013-12-15 22:47:14 +0000 |
|---|---|---|
| committer | Dan Liew <daniel.liew@imperial.ac.uk> | 2013-12-21 23:22:46 +0000 |
| commit | 8d541d5e7613bd42be0714c2654138bcc3c2c6d4 (patch) | |
| tree | f1a5e9288ae86803be1a4a128193b8501c78f4a2 /lib/Core/CoreStats.cpp | |
| parent | 492de06e578a76a8d6b8311dd7c1c1c440623072 (diff) | |
| download | klee-8d541d5e7613bd42be0714c2654138bcc3c2c6d4.tar.gz | |
The location of KLEE's runtime libraries (apart from klee-uclibc)
are now detected at runtime. This allows the correct location
to be used when klee is invoked from the build directory or
from its install location (i.e. make install)
Diffstat (limited to 'lib/Core/CoreStats.cpp')
0 files changed, 0 insertions, 0 deletions