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

- Improved semistate printing.

Browse Source
This commit is contained in:
ccremers 2004-08-15 17:16:13 +00:00
parent 1f99b16ee8
commit 071b9bd735
1 changed files with 19 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

21
src/arachne.c
View File

@ -415,11 +415,26 @@ printSemiState ()
for (run = 0; run < sys->maxruns; run++) for (run = 0; run < sys->maxruns; run++)
{ {
int index; int index;
Role r;
Roledef rd; Roledef rd;
Term oldagent;
indentPrint ();
eprintf ("!!\n");
indentPrint (); indentPrint ();
eprintf ("!! [ Run %i, ", run); eprintf ("!! [ Run %i, ", run);
termPrint (sys->runs[run].role->nameterm); termPrint (sys->runs[run].protocol->nameterm);
eprintf (", ");
r = sys->runs[run].role;
oldagent = r->nameterm->subst;
r->nameterm->subst = NULL;
termPrint (r->nameterm);
r->nameterm->subst = oldagent;
if (oldagent != NULL)
{
eprintf (": ");
termPrint (oldagent);
}
eprintf (" ]\n"); eprintf (" ]\n");
index = 0; index = 0;
@ -437,6 +452,8 @@ printSemiState ()
} }
} }
indentPrint (); indentPrint ();
eprintf ("!!\n");
indentPrint ();
eprintf ("!! - open: %i -\n", open); eprintf ("!! - open: %i -\n", open);
} }
@ -706,7 +723,7 @@ bind_goal_intruder (const Goal goal)
{ {
// This seems to work // This seems to work
flag = flag && iterate (); flag = flag && iterate ();
termlistSubstReset (substlist); termlistSubstReset (substlist);
} }
tl = tl->next; tl = tl->next;
} }