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

- Lots of rewrites and code cleanups.

Browse Source
This commit is contained in:
ccremers
2004-07-16 13:09:46 +00:00
parent 5d42bf40df
commit 1e7ef8f11d
4 changed files with 152 additions and 96 deletions
Download Patch File Download Diff File Expand all files Collapse all files

5
src/output.c
View File

@@ -562,14 +562,15 @@ void graphNode (const System sys)
printf ("\tn%li -> n%li ", parentNode, thisNode);
/* add label */
printf ("[label=\"");
printf ("%i:%i ", sys->traceRun[index], sys->runs[sys->traceRun[index]].step-1);
if (rd->type == CLAIM && untrustedAgent (sys, sys->runs[sys->traceRun[index]].agents))
{
printf ("Skip claim in #%i\"", sys->traceRun[index]);
printf ("Skip claim\"", sys->traceRun[index]);
}
else
{
roledefPrint (rd);
printf ("#%i\"", sys->traceRun[index]);
printf ("\"");
if (rd->type == CLAIM)
{
printf (",shape=house,color=green");