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

- Minor output fixes.

Browse Source
This commit is contained in:
ccremers 2005-04-21 12:04:45 +00:00
parent 9271cc7624
commit 8e1041b567
2 changed files with 3 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
src/arachne.c
View File

@ -2362,7 +2362,7 @@ bind_goal (const Binding b)
eprintf ("* Because "); eprintf ("* Because ");
termPrint (b->term); termPrint (b->term);
eprintf eprintf
(" is never sent from a regular run (STILL NEEDS LEMMA!), we only intruder construct it.\n"); (" is never sent from a regular run, so we only intruder construct it.\n");
} }
know_only = 1; know_only = 1;
} }

4
src/claim.c
View File

@ -453,7 +453,7 @@ check_claim_niagree (const System sys, const int i)
{ {
cl->failed = statesIncrease (cl->failed); cl->failed = statesIncrease (cl->failed);
//#ifdef DEBUG #ifdef DEBUG
warning ("Claim has failed!"); warning ("Claim has failed!");
printf ("To be exact, claim label "); printf ("To be exact, claim label ");
termPrint (cl->label); termPrint (cl->label);
@ -465,7 +465,7 @@ check_claim_niagree (const System sys, const int i)
printf ("\ng: "); printf ("\ng: ");
termmapPrint (g); termmapPrint (g);
printf ("\n"); printf ("\n");
//#endif #endif
} }
termmapDelete (f); termmapDelete (f);