Searched refs:infilename (Results 1 – 1 of 1) sorted by relevance
320 print(" infilename = {0}".format(args.infilename))331 if args.infilename is None:349 with open(args.infilename, "rb") as fin: