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

- Fixed bug in run forcing.

Browse Source
This commit is contained in:
ccremers 2004-08-14 18:38:43 +00:00
parent 68d3bab305
commit 18415c95a2
2 changed files with 8 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
src/arachne.c
View File

@ -297,14 +297,14 @@ bind_existing_run (const Goal goal, const Protocol p, const Role r,
termPrint (p->nameterm); termPrint (p->nameterm);
eprintf (", "); eprintf (", ");
termPrint (r->nameterm); termPrint (r->nameterm);
eprintf ("\n"); eprintf (", forced run %i\n", forced_run);
} }
#endif #endif
flag = 1; flag = 1;
goal.rd->bind_index = index; goal.rd->bind_index = index;
for (run = 0; run < sys->maxruns; run++) for (run = 0; run < sys->maxruns; run++)
{ {
if (forced_run >= 0 && forced_run == run) if (forced_run == -2 || forced_run == run)
{ {
if (sys->runs[run].protocol == p && sys->runs[run].role == r) if (sys->runs[run].protocol == p && sys->runs[run].role == r)
{ {
@ -739,7 +739,7 @@ iterate ()
if (DEBUGL (3) && explanation != NULL) if (DEBUGL (3) && explanation != NULL)
{ {
indentPrint (); indentPrint ();
eprintf ("%s ", explanation); eprintf ("ITERATE: %s", explanation);
if (e_run != INVALID) if (e_run != INVALID)
eprintf ("#%i ", e_run); eprintf ("#%i ", e_run);
@ -758,7 +758,7 @@ iterate ()
termPrint (e_term3); termPrint (e_term3);
eprintf (" "); eprintf (" ");
} }
eprintf ("\n"); eprintf (" ]}>=--\n");
} }
#endif #endif

4
src/mgu.c
View File

@ -63,6 +63,10 @@ termMguTerm (Term t1, Term t2)
{ {
printf (", composite term"); printf (", composite term");
} }
if (t->type != VARIABLE)
{
printf (" (bound roleconstant)");
}
printf ("\n"); printf ("\n");
} }
#endif #endif