ccadar/klee — pull request #4 by hpalikareva (2013-08-06 15:53:10+00:00)
Title: STP command-line options renamed, e.g. max-stp-time renamed to max-solve...

...r-time and use-forked-stp renamed to use-forked-solver.