Searched refs:TERM_FILTER (Results 1 - 1 of 1) sorted by relevance
/barrelfish-2018-10-04/tools/harness/ | ||
H A D | harness.py | 21 TERM_FILTER = re.compile("\[\d\d?m") variable in class:Harness 27 filtered_out = self.TERM_FILTER.sub('', filtered_out) |
Completed in 27 milliseconds