google/souper — pull request #21 by regehr (2014-07-04 21:48:56+00:00)
Title: report statistics

Report statistics about cache hits/misses, satisfiable/unsatisfiable queries, etc.

Invoke souper with "-stats" to see the stats. Invoke the Clang Pass with "-mllvm
-stats".