def GetPintoolOptions(self, replay_pb, log_pb, options):
"""
Add the default knobs required for replaying and any user defined options.
Need '-log' knob in this GDB 'replay' script because the script is
actually used for both replaying and relogging. By adding this knob,
the script can relog if the user enables it with the correct GDB pin
command.
@param replay_pb pinball to replay
@param log_pb is not used
@param options dictionary of user options
@return string of options
"""
replay_o = ' -log' # No name for the new pinball, use the default name
replay_o += drd_util.GdbBaseLogOpt()
replay_o += util.AddMt(options, replay_pb)
# Add any options user gave on command line.
#
if hasattr(options, 'pintool_options') and options.pintool_options:
replay_o = ' ' + options.pintool_options
replay_o = ' --replay_options "%s"' % (replay_o)
return replay_o
def GetDrdLogOpt(self):
"""
Get the GDB specific DrDebug logging options.
When using GDB, there are additional knobs required in addition to the
basic logging knobs.
@return string with knobs for logging
"""
return drd_util.GdbBaseLogOpt()