klee/klee.github.io — pull request #5 by mchalupa (2014-12-18 10:23:38+00:00)
Title: docs: add paragraph about KLEE_RUNTIME_LIBRARY_PATH

Hi,

this is a follow-up pull-request for https://github.com/klee/klee/pull/178

Thanks,
Marek

----

Explain how KLEE searches for run-time libraries and how it
can be customized