Lines Matching refs:time
34 import time
36 RANDSEED = int(time.time())
1152 group.add_argument('--short', dest='time', action="store_const", const='short', default='short', help="short test (default)")
1153 group.add_argument('--medium', dest='time', action="store_const", const='medium', default='short', help="medium test (reasonable run time)")
1154 group.add_argument('--long', dest='time', action="store_const", const='long', default='short', help="long test (long run time)")
1155 group.add_argument('--all', dest='time', action="store_const", const='all', default='short', help="all tests (excessive run time)")
1199 if args.time == 'medium':
1204 elif args.time == 'long':
1209 elif args.time == 'all':
1299 cmd = [sys.executable, "deccheck.py", "--%s" % args.time, "--single", test]