Commit 42c89843 authored by Thomas Huetter's avatar Thomas Huetter
Browse files

statistics/statistics.py: fixed bug in counting

parent 6e165826
Loading
Loading
Loading
Loading
+1 −1
Original line number Diff line number Diff line
@@ -66,7 +66,7 @@ with open(args.inputfile) as f:
  # for each tree in the inputfile
  for line in f:
    # remove all '}', split line by '{' and remove empty entries at the beginning and end
    nodes = re.split(r'[{]', re.sub('[\}]', '', line))[1:-1]
    nodes = re.split(r'[{]', re.sub('[\}]', '', line.rstrip()))[1:]
    # get tree size
    tree_size = len(nodes)
    # sum to compute average