use formatting in goto-analyzer

the summary result is now bold

Author: kroening

src/goto-analyzer/static_verifier.cpp

@@ -232,22 +232,22 @@ bool static_verifier(
 
         if(e.is_true())
         {
-          m.result() << "Success";
+          m.result() << m.green() << "Success" << m.reset();
           pass++;
         }
         else if(e.is_false())
         {
-          m.result() << "Failure (if reachable)";
+          m.result() << m.red() << "Failure" << m.reset() << " (if reachable)";
           fail++;
         }
         else if(domain.is_bottom())
         {
-          m.result() << "Success (unreachable)";
+          m.result() << m.green() << "Success" << m.reset() << " (unreachable)";
           pass++;
         }
         else
         {
-          m.result() << "Unknown";
+          m.result() << m.yellow() << "Unknown" << m.reset();
           unknown++;
         }
 
@@ -258,10 +258,11 @@ bool static_verifier(
     }
   }
 
-  m.status() << "Summary: "
+  m.status() << m.bold() << "Summary: "
              << pass << " pass, "
              << fail << " fail if reachable, "
-             << unknown << " unknown\n";
+             << unknown << " unknown"
+             << m.reset() << messaget::eom;
 
   return false;
 }

src/util/message.h

@@ -291,7 +291,7 @@ class messaget
       return std::string();
   }
 
-  /// return to default formatting
+  /// return to default formatting, as defined by clienta
   std::string reset() const
   {
     return command(0);