def __init__(self, value):
Option.__init__(self, value)
self.coverageDir = None
def __init__(self, value):
Option.__init__(self, value)
self.tmpFile = None
def __init__(self, value):
Option.__init__(self, value)
self.coverageDir = None
def __init__(self, value):
Option.__init__(self, value)
self.tmpFile = None