Tweak

git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@77154 91177308-0d34-0410-b5e6-96231b3b80d8

1 files changed, 15 insertions, 15 deletions

diff --git a/tools/klee-stats/klee-stats b/tools/klee-stats/klee-stats
index 8497ada7..503215f6 100755
--- a/tools/klee-stats/klee-stats
+++ b/tools/klee-stats/klee-stats
@@ -124,21 +124,21 @@ def printTable(table):
 def main(args):
     from optparse import OptionParser
     op = OptionParser(usage="usage: %prog [options] directories",
-                      epilog=
-                      "LEGEND                                                                          " 
-                      "------                                                                          " 
-                      "Instrs:  Number of executed instructions                                        "
-                      "Time:    Total wall time (s)                                                    "
-                      "ICov:    Instruction coverage in the LLVM bitcode (%)                           "
-                      "BCov:    Branch coverage in the LLVM bitcode (%)                                "
-                      "ICount:  Total static instructions in the LLVM bitcode                          "
-                      "Solver:  Time spent in the constraint solver (%)                                "
-                      "States:  Number of currently active states                                      "
-                      "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 (%)                                                 ")
+                      epilog="""\
+LEGEND
+------
+Instrs:  Number of executed instructions
+Time:    Total wall time (s)
+ICov:    Instruction coverage in the LLVM bitcode (%)
+BCov:    Branch coverage in the LLVM bitcode (%)
+ICount:  Total static instructions in the LLVM bitcode
+Solver:  Time spent in the constraint solver (%)
+States:  Number of currently active states
+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 (%)""")
 
     op.add_option('', '--print-more', dest='printMore',
                   action='store_true', default=False,