ccadar/klee — pull request #34 by ddcc (2013-09-21 11:56:55+00:00)
Title: Replace current implementation of linkWithLibrary()

Per comment to previous pull request: https://github.com/ccadar/klee/pull/5#issuecomment-24860487