diff options
-rwxr-xr-x | unit-trace | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -27,7 +27,7 @@ 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, | 30 | parser.add_option("-u", "--time-per-maj", default=5000000.0, type=float, |
31 | dest="time_per_maj", help="Time interval between major ticks, in the visualizer") | 31 | dest="time_per_maj", help="Time interval between major ticks, in the visualizer") |
32 | parser.add_option("-c", "--clean", action="store_true", dest="clean", | 32 | parser.add_option("-c", "--clean", action="store_true", dest="clean", |
33 | default=False, help="Use sanitizer to clean garbage records") | 33 | default=False, help="Use sanitizer to clean garbage records") |