replica
/
diffblue-cbmc
1
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

Colour code tests passing vs failing. 

Use colour escape codes to colour code the [OK] vs [FAILED] output from
`test.pl`.
This commit is contained in:
Thomas Spriggs 2018-05-24 11:00:01 +01:00
parent 50d1c79e2f
commit 77f81621f4
1 changed files with 5 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

9
regression/test.pl
View File

@ -4,6 +4,7 @@ use subs;
use strict;
use warnings;
use File::Basename;
use Term::ANSIColor;
use Cwd;
@ -358,10 +359,10 @@ sub do_test($)
$skips++;
print " [SKIPPED]\n";
} elsif(0 == $failed_skipped) {
print " [OK] in $runtime seconds\n";
print " [" . colored("OK", "green") . "] in $runtime seconds\n";
} else {
$failures++;
print " [FAILED]\n";
print " [" . colored("FAILED", "red") . "]\n";
}
}
}
@ -393,9 +394,9 @@ defined($pool) and $pool->join();
print "\n";
if($failures == 0) {
print "All tests were successful";
print colored("All tests were successful", "green");
} else {
print "Tests failed\n";
print colored("Tests failed", "red") . "\n";
print " $failures of $count " . (1==$count?"test":"tests") . " failed";
}
print ", $skips " . (1==$skips?"test":"tests") . " skipped" if($skips > 0);