klee/klee — pull request #158 by delcypher (2014-09-15 00:34:10+00:00)
Title: Remove --read-args command line option because this feature has been

available in LLVM's command line parser for a while (response files).