Lines Matching defs:time
118 import time
471 cmd_prefix = ['/usr/bin/time', '--format=MaxMemory: %MKB'] + cmd_prefix
713 # /usr/bin/time outputs to stderr
772 start = time.time()
790 output.duration = time.time() - start
951 'for shorter completion time of suite, with potentially '
1071 start = time.time()
1094 total_duration = time.time() - start