Searched refs:symbols_file (Results 1 – 1 of 1) sorted by relevance
128 symbols_file = None variable142 symbols_file = a variable240 if symbols_file is not None:241 pickle.dump((modules, functions), open(symbols_file, "w"))243 if symbols_file is None:247 (modules, functions) = pickle.load(open(symbols_file, "r"))