+GREEN_COLOR = '\x1b[32m'
+RED_COLOR = '\x1b[31m'
+COLOR_END = '\x1b[0m'
+
+def colorize_result(input):
+
+ if input.startswith('OK'):
+ color = GREEN_COLOR
+ elif input.startswith('FAIL:'):
+ color = RED_COLOR
+ else:
+ assert(False), f'unexpected result "{input}"'
+ colored_result = f'{color}{input}{COLOR_END}'
+
+ print(f'| {colored_result}', end='')
+