def __init__(self):
     TestRunner.__init__(self, Corstone700FVP)
 def __init__(self):
     TestRunner.__init__(self, A5dsFVP)