Searched refs:MENU_LST_FILE_NAME (Results 1 - 1 of 1) sorted by relevance
/barrelfish-2018-10-04/tools/harness/ | ||
H A D | harness.py | 19 MENU_LST_FILE_NAME = 'menu.lst' variable in class:Harness 33 menu_lst_file_name = os.path.join(path, self.MENU_LST_FILE_NAME) |
Completed in 79 milliseconds