From b1f34f8d0ff890511e16fc322abf3ca08000b950 Mon Sep 17 00:00:00 2001
From: Timotej Kapus <tk1713@ic.ac.uk>
Date: Thu, 7 Jun 2018 17:23:37 +0100
Subject: Remove unused function

---
 tools/klee-stats/klee-stats | 14 --------------
 1 file changed, 14 deletions(-)

(limited to 'tools')

diff --git a/tools/klee-stats/klee-stats b/tools/klee-stats/klee-stats
index 5b8dacf4..901cab55 100755
--- a/tools/klee-stats/klee-stats
+++ b/tools/klee-stats/klee-stats
@@ -92,20 +92,6 @@ class LazyEvalList:
         return len(self.lines)
 
 
-def getMatchedRecordIndex(records, column, target):
-    """Find target from the specified column in records."""
-    target = int(target)
-    lo = 0
-    hi = len(records) - 1
-    while lo < hi:
-        mid = (lo + hi) // 2
-        if column(records[mid]) <= target:
-            lo = mid + 1
-        else:
-            hi = mid
-    return lo
-
-
 
 def stripCommonPathPrefix(paths):
     paths = map(os.path.normpath, paths)
-- 
cgit 1.4.1