[klee] r146741 - /klee/trunk/tools/klee-stats/klee-stats

[Cristian Cadar]

Author: cristic
Date: Fri Dec 16 10:51:50 2011
New Revision: 146741

URL: http://llvm.org/viewvc/llvm-project?rev=146741&view=rev
Log:
Fixed help message in klee-stats.

Modified:
    klee/trunk/tools/klee-stats/klee-stats

Modified: klee/trunk/tools/klee-stats/klee-stats
URL: http://llvm.org/viewvc/llvm-project/klee/trunk/tools/klee-stats/klee-stats?rev=146741&r1=146740&r2=146741&view=diff
==============================================================================
--- klee/trunk/tools/klee-stats/klee-stats (original)
+++ klee/trunk/tools/klee-stats/klee-stats Fri Dec 16 10:51:50 2011
@@ -123,8 +123,13 @@
 
 def main(args):
     from optparse import OptionParser
-    op = OptionParser(usage="usage: %prog [options] directories",
-                      epilog="""\
+
+    class ParserWithNewLines(OptionParser):
+        def format_epilog(self, formatter):
+            return self.epilog
+
+    op = ParserWithNewLines(usage="usage: %prog [options] directories",
+                            epilog="""\
 LEGEND
 ------
 Instrs:  Number of executed instructions
@@ -138,7 +143,8 @@
 Queries: Number of queries issued to STP
 AvgQC:   Average number of query constructs per query
 Tcex:    Time spent in the counterexample caching code (%)
-Tfork:   Time spent forking (%)""")
+Tfork:   Time spent forking (%)
+""")
 
     op.add_option('', '--print-more', dest='printMore',
                   action='store_true', default=False,