Using Klee without modifying code
===

I noticed [7 months ago a question was posted related to this][1] but I am not being able to find such options from Klee. Were them removed? I would also be interested in knowing if there was any progress on this on the previous 7 months since the documentation on Klee site is a little thin on its usage (despite the tutorials its hard to tell what is available such as those commands).

Thank you.

  [1]: http://stackoverflow.com/questions/7564564/automated-input-generator-for-black-box-testing