use colors in goto-analyzer

failures are red, passing properties are green

Author: kroening

src/goto-analyzer/static_verifier.cpp

@@ -178,12 +178,12 @@ bool static_verifier(
 
         if(e.is_true())
         {
-          out << "Success";
+          out << green() << "Success" << reset();
           pass++;
         }
         else if(e.is_false())
         {
-          out << "Failure (if reachable)";
+          out << red() << "Failure" << reset() << " (if reachable)";
           fail++;
         }
         else if(domain.is_bottom())
@@ -204,10 +204,11 @@ bool static_verifier(
     }
   }
 
-  m.status() << "Summary: "
+  m.status() << bold() << "Summary: "
              << pass << " pass, "
              << fail << " fail if reachable, "
-             << unknown << " unknown\n";
+             << unknown << " unknown"
+             << reset() << eom;
 
   return false;
 }