From 8f501b1620991907a249f7cc98740927522eedd9 Mon Sep 17 00:00:00 2001
From: ccremers <ccremers@4f7d145f-a0d4-0310-ae10-d96cc04433c1>
Date: Mon, 9 Aug 2004 10:41:25 +0000
Subject: [PATCH] - Improved status output.

---
 src/main.c | 18 +++++++++++++-----
 1 file changed, 13 insertions(+), 5 deletions(-)

diff --git a/src/main.c b/src/main.c
index 5be03a4..8dcd48e 100644
--- a/src/main.c
+++ b/src/main.c
@@ -556,6 +556,12 @@ main (int argc, char **argv)
 	}
     }
 
+  /*
+   * ---------------------------------------
+   *  After checking the system, results
+   * ---------------------------------------
+   */
+
   /* Display shortest attack, if any */
 
   if (sys->attack != NULL && sys->attack->length != 0)
@@ -711,18 +717,20 @@ timersPrint (const System sys)
       anyclaims = 1;
 
       eprintf ("claim\t");
-      termPrint (cl_scan->rolename);
-      eprintf (":");
-      termPrint (cl_scan->label);
+      termPrint (cl_scan->type);
       eprintf ("\t");
+      termPrint (cl_scan->rolename);
+      eprintf (" (");
+      termPrint (cl_scan->label);
+      eprintf (")\tfound:\t");
       statesFormat (cl_scan->count);
       if (cl_scan->count > 0)
 	{
-	  eprintf ("\t");
 	  if (cl_scan->failed > 0)
 	    {
+	      eprintf ("\t");
+	      eprintf ("failed:\t");
 	      statesFormat (cl_scan->failed);
-	      eprintf (" failed");
 	    }
 	}
       eprintf ("\n");