'Debugging output of a single SimRun slice.
:param run_addr:    Address of the SimRun.
:return:            A string representation.'

def dbg_repr_run(self, run_addr):

    if self.project.is_hooked(run_addr):
        ss = ('%#x    Hooked\n' % run_addr)
    else:
        ss = ('%#x\n' % run_addr)
        chosen_statements = self.chosen_statements[run_addr]
        vex_block = self.project.factory.block(run_addr).vex
        statements = vex_block.statements
        for i in range(0, len(statements)):
            if (i in chosen_statements):
                line = '+'
            else:
                line = '-'
            line += ('[%    3d]    ' % i)
            line += str(statements[i])
            ss += (line + '\n')
        targets = self.chosen_exits[run_addr]
        addr_strs = []
        for (exit_stmt_id, target_addr) in targets:
            if (target_addr is None):
                addr_strs.append('default')
            else:
                addr_strs.append(('%#x' % target_addr))
        ss += ('Chosen    exits:    ' + ',    '.join(addr_strs))
    return ss
