andr3/scyther
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

- error output is also stored now.

Browse Source
This commit is contained in:
ccremers 2004-10-15 12:11:13 +00:00
parent 0f68fcb8d6
commit 622b28520e
1 changed files with 15 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

20
spdl/gen-tests.py
View File

@ -18,7 +18,7 @@ count = sys.argv[1]
lstatus=os.system('./tuples.py ' + count + ' >' + tempfile) lstatus=os.system('./tuples.py ' + count + ' >' + tempfile)
# Header # Header
print "#!/usr/bin/sh" print "#!/bin/sh"
print "#" print "#"
print "# Test list generated by gen-tests.py" print "# Test list generated by gen-tests.py"
print "# at ", time.asctime() print "# at ", time.asctime()
@ -28,8 +28,8 @@ print "#"
def getline (inputfile): def getline (inputfile):
return string.strip(inputfile.readline()) return string.strip(inputfile.readline())
def makefileline (tuple): def makefilepart (tuple):
rt = "results/combined" + count + "-" rt = count + "-"
namelist = string.split (tuple) namelist = string.split (tuple)
tocome = len (namelist) tocome = len (namelist)
for name in namelist: for name in namelist:
@ -37,13 +37,23 @@ def makefileline (tuple):
tocome = tocome - 1 tocome = tocome - 1
if tocome > 0: if tocome > 0:
rt = rt + "-" rt = rt + "-"
rt = rt + ".txt"
return rt return rt
def makefileline (tuple):
return "results/combined" + makefilepart(tuple) + ".txt"
def makefileerror (tuple):
return "results/errors" + makefilepart(tuple) + ".txt"
def processline (l): def processline (l):
print "./mp.sh ", print "./mp.sh ",
print l, print l,
print " >", makefileline(l) # redirect stderr
print " 2>>", makefileerror(l),
# redirect stdout
print " >", makefileline(l),
# new line
print
# Process lines # Process lines
inp = open(tempfile, 'r') inp = open(tempfile, 'r')