diff options
| author | Daniel Dunbar <daniel@zuster.org> | 2009-07-26 11:14:19 +0000 |
|---|---|---|
| committer | Daniel Dunbar <daniel@zuster.org> | 2009-07-26 11:14:19 +0000 |
| commit | 750435aa834e4f22da317c6f11be6636507ac29e (patch) | |
| tree | 06ca468c7c97c113f2b6563a4d983f6ccb2cec90 /tools/klee-stats | |
| parent | 74480f5d9823df8aed13f9e573f5683da2fe2d19 (diff) | |
| download | klee-750435aa834e4f22da317c6f11be6636507ac29e.tar.gz | |
Tweak
git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@77154 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'tools/klee-stats')
| -rwxr-xr-x | tools/klee-stats/klee-stats | 30 |
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, |