def __init__(self, *, exe_wrapper=None, gdb=None, timeout_multiplier=None, env=None):
    self.exe_wrapper = exe_wrapper
    self.gdb = gdb
    self.timeout_multiplier = timeout_multiplier
    self.env = env
def __init__(self, *, exe_wrapper=None, gdb=None, timeout_multiplier=None, env=None):
    self.exe_wrapper = exe_wrapper
    self.gdb = gdb
    self.timeout_multiplier = timeout_multiplier
    self.env = env