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
|
#!/usr/bin/env python
import sys, commands, tempfile
from optparse import OptionParser
parser = OptionParser(usage="usage: %prog")
parser.add_option("--start-from", dest="startFrom", default=None, metavar="CLASS", help="")
parser.add_option("-v", "--verbose", action="store_true", dest="verbose", default=False, help="")
parser.add_option("-k", "--keep", action="store_true", dest="keep", default=False, help="")
(options, args) = parser.parse_args()
if options.keep :
mode = "a"
else:
mode = "w"
segfaultFile = file(args[0], mode)
logs = tempfile.NamedTemporaryFile()
lastClass = options.startFrom
ret = 1
while ret != 0:
command = "python returnedTypeCoverage.py -v5 --exclude "+sys.argv[1]+" --log-file '"+logs.name+"'"
if lastClass:
command += " --start-from "+lastClass
if options.verbose:
print command
(ret, output) = commands.getstatusoutput( command )
if ret != 0:
# find last args (the ones which caused the segfault)
faultyArgs = None
logs.file.seek(0)
for l in reversed(logs.file.readlines()):
l = l.strip()
if faultyArgs == None and l.startswith('('):
faultyArgs = l
if faultyArgs != None :
# find the last class
if len(l) != 0 and l[0].isupper():
lastClass = l
break
print repr(faultyArgs)
segfaultFile.write(faultyArgs+"\n")
segfaultFile.flush()
|
