File: run.py

package info (click to toggle)
polymake 4.14-2
  • links: PTS, VCS
  • area: main
  • in suites: forky, sid
  • size: 35,888 kB
  • sloc: cpp: 168,933; perl: 43,407; javascript: 31,575; ansic: 3,007; java: 2,654; python: 632; sh: 268; xml: 117; makefile: 61
file content (66 lines) | stat: -rwxr-xr-x 1,534 bytes parent folder | download | duplicates (6)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
#!/usr/bin/python
# -*- coding: utf-8 -*-

import subprocess
import os
import re
import random
import sys
from math import log

grpFilePattern = re.compile(r'^G_(\d+)$')
methodPattern = re.compile(r'\s*--\s+(.*)$')
totalLog = {}
cmd = 'false'
number = '0'

def runSet(degree, k, grp):
    global totalLog
    filename = "S1_%04d_%02d" % (degree, k)
    print "running", cmd, 'at', filename
    cout = subprocess.Popen([cmd, grp, filename, number], stdout=subprocess.PIPE, bufsize=1024).stdout
    label = None
    for i in range(0,5000):
        line = cout.readline()
        if not line:
            break
        m = methodPattern.match(line)
        if not m:
            if label:
                if not totalLog.has_key(label):
                    totalLog[label] = []
                totalLog[label].append(line)
        else:
            label = m.group(1)

if len(sys.argv) < 3:
    print "no command or number given"
    print "usage:", sys.argv[0], "cmd", "numberOfRuns"
    sys.exit(-1)
cmd = sys.argv[1]
number = sys.argv[2]

for root, dirs, files in os.walk("."):
    files.sort()
    for f in files:
        m = grpFilePattern.match(f)
        if not m:
            continue

        file = open(f)
        _ = file.readline()
        degree = int(file.readline())
        file.close()
        
        k = int(log(degree, 2))
        for l in range(k-3, k+2):
            runSet(degree, l, f)

print "------"

k = totalLog.keys()
k.sort()
for label in k:
    print label
    for l in totalLog[label]:
        print l,