andr3/scyther
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

- Improved status output.

Browse Source
This commit is contained in:
ccremers 2004-08-09 10:41:25 +00:00
parent 71c658051e
commit 8f501b1620
1 changed files with 13 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

18
src/main.c
View File

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