about summary refs log tree commit diff homepage
diff options
context:
space:
mode:
-rwxr-xr-xtools/klee-stats/klee-stats12
1 files changed, 9 insertions, 3 deletions
diff --git a/tools/klee-stats/klee-stats b/tools/klee-stats/klee-stats
index 503215f6..fac29d19 100755
--- a/tools/klee-stats/klee-stats
+++ b/tools/klee-stats/klee-stats
@@ -123,8 +123,13 @@ def printTable(table):
 
 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 @@ Mem:     Megabytes of memory currently used
 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,