code: 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
  
              # statements
              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"
  
              # exits
              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
docs: Debugging output of a single SimRun slice.
  
          :param run_addr:    Address of the SimRun.
          :return:            A string representation.