Lines Matching defs:FILE
455 FILE = None # to be initialised to an open file
459 return print(*args, file=FILE)
464 global FILE, NUM_TESTS_IN_SHARD, SHARD_SIZE
467 if FILE != None and NUM_TESTS_IN_SHARD < SHARD_SIZE:
469 if FILE != None:
471 assert FILE == None
472 FILE = open(SHARD_FILENAME_TEMPLATE.format(shard=SHARD_NUM), 'w')
477 global FILE, SHARD_NUM, MODE
478 assert FILE
482 FILE.close()
483 FILE = None
543 FILE = sys.stdout