From b85d2e22705ca29db09962700e8e1af9fadb3eab Mon Sep 17 00:00:00 2001
From: ccremers <ccremers@4f7d145f-a0d4-0310-ae10-d96cc04433c1>
Date: Sat, 1 Jul 2006 09:48:06 +0000
Subject: [PATCH] - Added first attack analysis.

---
 test/boundanalyze.py | 22 ++++++++++++++++++++--
 1 file changed, 20 insertions(+), 2 deletions(-)

diff --git a/test/boundanalyze.py b/test/boundanalyze.py
index a7a8660..0240043 100755
--- a/test/boundanalyze.py
+++ b/test/boundanalyze.py
@@ -2,7 +2,9 @@
 
 import os
 
-def analyze(file):
+firstbroken = {}
+
+def analyze(file,bound):
 
     claim = 0
     correct = 0
@@ -15,8 +17,16 @@ def analyze(file):
         for l in fp.readlines():
             if l.startswith("claim"):
                 claim = claim + 1
+    
+                dt = l.split('\t')
+                claimid = "%s,%s" % (dt[1],dt[2])
+
                 if l.find("\tFail\t") >= 0:
                     attack = attack + 1
+
+                    if claimid not in firstbroken.keys():
+                        firstbroken[claimid] = bound
+
                 else:
                     if l.find("bounds") >= 0:
                         boundokay = boundokay + 1
@@ -51,10 +61,18 @@ def timed(file):
 
 def all():
     for i in range(1,8):
-        analyze("boundruns%i.txt" % (i))
+        analyze("boundruns%i.txt" % (i),i)
     for i in range(1,8):
         timed("boundtime%i.txt" % (i))
 
+    for i in range(1,8):
+        l = []
+        for k in firstbroken.keys():
+            if firstbroken[k] == i:
+                l.append(k)
+        print "Attack with %i runs:" % i
+        print l
+
 all()