Searched refs:SHARD_NUM (Results 1 – 1 of 1) sorted by relevance
454 SHARD_NUM = 1 variable470 FILE = open(SHARD_FILENAME_TEMPLATE.format(shard=SHARD_NUM), 'w')475 global FILE, SHARD_NUM, MODE479 print("Wrote shard {}.".format(SHARD_NUM))482 SHARD_NUM += 1487 write("// Shard {}.".format(SHARD_NUM))