Searched refs:colors (Results 1 - 4 of 4) sorted by relevance

/seL4-test-master/projects/sel4test/apps/sel4test-driver/scripts/
H A Dcoverage.py84 colors = Colors(not args.no_color)
183 colour = colors.LIGHT_RED
185 colour = colors.DARK_GREEN
187 colour = colors.DARK_YELLOW
190 sys.stdout.write(colour + line + colors.NORMAL)
199 colour = colors.DARK_GREEN
201 colour = colors.LIGHT_RED
203 colour = colors.LIGHT_GREY
205 sys.stdout.write(colour + line + colors.NORMAL)
/seL4-test-master/projects/seL4_libs/libsel4serialserver/src/
H A Dserver.c36 static char *colors[] = { variable
66 #define NUM_COLORS ARRAY_SIZE(colors)
67 #define BADGE_TO_COLOR(badge) (colors[(badge) % NUM_COLORS])
/seL4-test-master/
H A Dgriddle42 # Set up terminal capabilities (for displaying in bold and colors).
51 NCOLORS=$(tput colors)
60 # colors (bold helps, but only so much). On terminals truly capable of only 8
61 # colors, we have to rely on the implementation to provide good contrast.
/seL4-test-master/tools/seL4/cmake-tool/
H A Dgriddle42 # Set up terminal capabilities (for displaying in bold and colors).
51 NCOLORS=$(tput colors)
60 # colors (bold helps, but only so much). On terminals truly capable of only 8
61 # colors, we have to rely on the implementation to provide good contrast.

Completed in 39 milliseconds