diff options
| author | thibauth <thibauth@30fcff6e-8de6-41c7-acce-77ff6d1dd07b> | 2011-08-17 07:34:56 +0000 |
|---|---|---|
| committer | thibauth <thibauth@30fcff6e-8de6-41c7-acce-77ff6d1dd07b> | 2011-08-17 07:34:56 +0000 |
| commit | efdf0def8716c1766302f7488b431737192ddb03 (patch) | |
| tree | 9a30bdb669c339dd12b727c9bf57b752580e4f76 /planetlab/plot.py | |
| parent | 8b386cda0b06b25d664a2fbe02be3d53cae5625a (diff) | |
| download | pacemaker-efdf0def8716c1766302f7488b431737192ddb03.tar.gz | |
Planetlab plot
git-svn-id: https://scm.gforge.inria.fr/svn/pacemaker@61 30fcff6e-8de6-41c7-acce-77ff6d1dd07b
Diffstat (limited to 'planetlab/plot.py')
| -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 + + |
