diff options
Diffstat (limited to 'unit-trace')
-rwxr-xr-x | unit-trace | 8 |
1 files changed, 5 insertions, 3 deletions
@@ -27,12 +27,14 @@ parser.add_option("-o", "--stdout", action="store_true", dest="stdout", | |||
27 | default=False, help="Use stdout_printer") | 27 | default=False, help="Use stdout_printer") |
28 | parser.add_option("-v", "--visual", action="store_true", dest="visualize", | 28 | parser.add_option("-v", "--visual", action="store_true", dest="visualize", |
29 | default=False, help="Use visualizer") | 29 | default=False, help="Use visualizer") |
30 | parser.add_option("-t", "--time-per-maj", default=10000000.0, type=float, | ||
31 | dest="time_per_maj", help="Time interval between major ticks, in the visualizer") | ||
30 | parser.add_option("-c", "--clean", action="store_true", dest="clean", | 32 | parser.add_option("-c", "--clean", action="store_true", dest="clean", |
31 | default=False, help="Use sanitizer to clean garbage records") | 33 | default=False, help="Use sanitizer to clean garbage records") |
32 | parser.add_option("-e", "--earliest", default=0, type=int, dest="earliest", | 34 | parser.add_option("-e", "--earliest", default=0, type=int, dest="earliest", |
33 | help="Earliest timestamp of interst") | 35 | help="Earliest timestamp of interest") |
34 | parser.add_option("-l", "--latest", default=0, type=int, dest="latest", | 36 | parser.add_option("-l", "--latest", default=0, type=int, dest="latest", |
35 | help="Latest timestamp of interst") | 37 | help="Latest timestamp of interest") |
36 | (options, traces) = parser.parse_args() | 38 | (options, traces) = parser.parse_args() |
37 | traces = list(traces) | 39 | traces = list(traces) |
38 | if len(traces) < 1: | 40 | if len(traces) < 1: |
@@ -118,4 +120,4 @@ if options.num_inversions > -1: | |||
118 | # Call visualizer | 120 | # Call visualizer |
119 | if options.visualize is True: | 121 | if options.visualize is True: |
120 | from unit_trace import viz | 122 | from unit_trace import viz |
121 | viz.visualizer.visualizer(stream3) | 123 | viz.visualizer.visualizer(stream3, options.time_per_maj) |