Searched refs:DATA_FILE (Results 1 – 2 of 2) sorted by relevance
169 DATA_FILE = sys.argv[1] variable171 with open(DATA_FILE, 'rb') as f:
491 const char *default_filename = "DATA_FILE";
