From c6280d745e428e82a0bde0df330fdfd6b9e1f7e3 Mon Sep 17 00:00:00 2001 From: Cas Cremers Date: Wed, 19 Jun 2013 21:50:49 +0200 Subject: [PATCH] Backend DOT graph generation: Removing debugging reporting of 'cost' in attack graphs. This was confusing to casual users. --- src/dotout.c | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/src/dotout.c b/src/dotout.c index e380fab..5f82f4f 100644 --- a/src/dotout.c +++ b/src/dotout.c @@ -1660,7 +1660,8 @@ dotSemiState (const System mysys) eprintf (", claim type "); termPrintRemap (sys->current_claim->type); // For debugging: - eprintf (", cost %i", computeAttackCost (sys)); + //eprintf (", cost %i", computeAttackCost (sys)); + eprintf ("\";\n"); // Needed for the bindings later on: create graph