michael/lean2
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Add color code in format.cpp to test how it looks on terminal

Browse source
This commit is contained in:
Soonho Kong 2013-07-23 18:41:56 -07:00
parent ab81a57d86
commit e5c39cad9c
1 changed files with 11 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

11
src/tests/util/format.cpp
View file

@ -9,6 +9,10 @@ Author: Soonho Kong
using namespace lean;
void color(const char *s, int n) {
std::cout << "\e[" << (31 + n % 7) << "m" << s << "\e[0m";
}
static void tst1() {
format f_atom1("foo");
format f_atom2("bar");
@ -36,6 +40,13 @@ static void tst1() {
<< "f6 = " << f6 << std::endl
<< "f7 = " << f7 << std::endl
;
color("This ", 0);
color("is ", 1);
color("how ", 2);
color("we ", 3);
color("work.", 4);
std::cout << std::endl;
}
int main() {