summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorMac Mollison <mollison@cs.unc.edu>2011-01-31 16:29:07 -0500
committerMac Mollison <mollison@cs.unc.edu>2011-01-31 16:29:07 -0500
commit85a089c42749e1394ae12321564109f25fa8154f (patch)
tree1c06c0057356ed6805293547d9d8656ff019182f
parentc364f1d807eeb246ca67184246fd2c8d7933b8b6 (diff)
Make default viz. time interval 1 ms
Conflicts: unit-trace
-rwxr-xr-xunit-trace2
1 files changed, 1 insertions, 1 deletions
diff --git a/unit-trace b/unit-trace
index 15ba636..a1bc8ca 100755
--- a/unit-trace
+++ b/unit-trace
@@ -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")
28parser.add_option("-v", "--visual", action="store_true", dest="visualize", 28parser.add_option("-v", "--visual", action="store_true", dest="visualize",
29 default=False, help="Use visualizer") 29 default=False, help="Use visualizer")
30parser.add_option("-t", "--time-per-maj", default=10000000.0, type=float, 30parser.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")
32parser.add_option("-c", "--clean", action="store_true", dest="clean", 32parser.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")