From 1d431dc6f17b98974f461d1a01d320db4efcdb85 Mon Sep 17 00:00:00 2001
From: ccremers <ccremers@4f7d145f-a0d4-0310-ae10-d96cc04433c1>
Date: Mon, 30 Aug 2004 06:07:17 +0000
Subject: [PATCH] - Attack output is a bit broken now for Arachne. Fix.

---
 src/arachne.c | 19 +++++++++++++++++--
 1 file changed, 17 insertions(+), 2 deletions(-)

diff --git a/src/arachne.c b/src/arachne.c
index e54a0f3..965e4cc 100644
--- a/src/arachne.c
+++ b/src/arachne.c
@@ -847,7 +847,7 @@ dotSemiState ()
 
 		      found = 0;
 		      ev2 = sys->runs[run2].length - 1;
-		      while (ev2 >= 0 && !found)
+		      while ((ev2 >= 0) && (found == 0))
 			{
 			  if (graph[graph_nodes (nodes, run2, ev2, run, ev)]
 			      != 0)
@@ -855,7 +855,7 @@ dotSemiState ()
 			  else
 			    ev2--;
 			}
-		      if (found)
+		      if (found == 1)
 			{
 			  // It is before the event, and thus we would like to draw it.
 			  // However, if there is another path along which we can get here, forget it
@@ -905,6 +905,21 @@ dotSemiState ()
 			      node (run, ev);
 			      eprintf (";\n");
 			    }
+			  else
+			    {
+			      eprintf ("\t\t");
+			      node (run2, ev2);
+			      eprintf (" -> ");
+			      node (run, ev);
+			      eprintf (" [style=dotted];\n");
+			    }
+			}
+		      else
+			{
+			  // not found
+			  eprintf ("\t\tNOPREV -> ");
+			  node (run, ev);
+			  eprintf (" [label=\"#%i\"];\n", run2);
 			}
 		    }
 		  run2++;