From 9612737e9592e87661d41066919baca51f41037e Mon Sep 17 00:00:00 2001 From: Dan Liew Date: Fri, 4 Jul 2014 17:59:38 +0100 Subject: Taught klee_warning(), klee_error() etc... to emit coloured text output. Also use bold green text when KLEE finishes. This is done by taking advantage of llvm::raw_ostream's nice API for controlling the console text colour. --- tools/klee/main.cpp | 11 +++++++++++ 1 file changed, 11 insertions(+) (limited to 'tools') diff --git a/tools/klee/main.cpp b/tools/klee/main.cpp index 4411f73a..dcaa458a 100644 --- a/tools/klee/main.cpp +++ b/tools/klee/main.cpp @@ -1529,7 +1529,18 @@ int main(int argc, char **argv, char **envp) { << handler->getNumPathsExplored() << "\n"; stats << "KLEE: done: generated tests = " << handler->getNumTestCases() << "\n"; + + bool useColors = llvm::errs().is_displayed(); + if (useColors) + llvm::errs().changeColor(llvm::raw_ostream::GREEN, + /*bold=*/true, + /*bg=*/false); + llvm::errs() << stats.str(); + + if (useColors) + llvm::errs().resetColor(); + handler->getInfoStream() << stats.str(); BufferPtr.take(); -- cgit 1.4.1