diff options
Diffstat (limited to 'planetlab')
| -rw-r--r-- | planetlab/plot.py | 27 |
1 files changed, 27 insertions, 0 deletions
diff --git a/planetlab/plot.py b/planetlab/plot.py new file mode 100644 index 0000000..463aca8 --- /dev/null +++ b/planetlab/plot.py @@ -0,0 +1,27 @@ +import os +projectdir ='/home/thibaut/projects/pacemaker/planetlab/data' +result = [[]] +for node in os.listdir(projectdir): + c = 0 + preuve = {} + try: + for logfile in os.listdir(os.path.join(projectdir,node,'log')): + if '.net' in logfile: + fh = open(os.path.join(projectdir,node,'log',logfile),"r") + c += len(fh.readlines()) + fh.close() + if '.prot' in logfile: + fh = open(os.path.join(projectdir,node,'log',logfile),"r") + for line in fh.readlines(): + if 'Proof' in line: + try: + timestp, proof, nround, depth = line.rstrip().split() + preuve[nround]=1 + except ValueError: + import pdb;pdb.set_trace() + fh.close() + result.append([node,c,len(preuve)]) + except OSError: + pass + + |