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