From eaf4506634497fd38fb129e0cc70b71bb73f7ff6 Mon Sep 17 00:00:00 2001 From: ccremers Date: Wed, 31 Jan 2007 11:23:53 +0000 Subject: [PATCH] - Warning fixes. --- src/prune_theorems.c | 12 ++++++++---- 1 file changed, 8 insertions(+), 4 deletions(-) diff --git a/src/prune_theorems.c b/src/prune_theorems.c index ed5b38c..3d9ad85 100644 --- a/src/prune_theorems.c +++ b/src/prune_theorems.c @@ -71,7 +71,11 @@ correctLocalOrder (const System sys) else { globalError++; - eprintf ("Error: term "); + eprintf ("error: "); + termPrint (sys->runs[r2].protocol->nameterm); + eprintf (","); + termPrint (sys->runs[r2].role->nameterm); + eprintf (": term "); termSubstPrint (t); eprintf (" from run %i should occur in run %i, but it doesn't.\n", @@ -84,7 +88,7 @@ correctLocalOrder (const System sys) { // not a read first? That's definitely impossible (can be caused by choices globalError++; - eprintf ("Error: term "); + eprintf ("error: term "); termSubstPrint (t); eprintf (" from run %i should occur in run %i first in a READ event, but it occurs first in event %i.\n", @@ -102,7 +106,7 @@ correctLocalOrder (const System sys) else { globalError++; - eprintf ("Error: term "); + eprintf ("error: term "); termSubstPrint (t); eprintf (" from run %i should occur in run %i, but it doesn't.\n", r2, @@ -282,7 +286,7 @@ prune_theorems (const System sys) Protocol p; globalError++; - eprintf ("Run %i: ", run); + eprintf ("error: Run %i: ", run); role_name_print (run); eprintf (" has an empty agents list.\n"); eprintf ("protocol->rolenames: ");