klee/klee — pull request #115 by antiAgainst (2014-04-21 21:59:01+00:00)
Title: more statistics after execution

* Add total/max count of instrustions in test cases generated.
* Dump more time statistics after executing.