ccadar/klee — pull request #59 by 251 (2013-11-01 19:31:06+00:00)
Title: segfaults for long paths

Pull request for issue #58.