code: def load_tool_info(tool_name):
      
      tool_module = tool_name if '.' in tool_name else ("benchexec.tools." + tool_name)
      try:
          tool = __import__(tool_module, fromlist=['Tool']).Tool()
      except ImportError as ie:
          sys.exit('Unsupported tool "{0}" specified. ImportError: {1}'.format(tool_name, ie))
      except AttributeError:
          sys.exit('The module "{0}" does not define the necessary class "Tool", '
                   'it cannot be used as tool info for BenchExec.'.format(tool_module))
      return (tool_module, tool)
docs: Load the tool-info class.
      @param tool_name: The name of the tool-info module.
      Either a full Python package name or a name within the benchexec.tools package.
      @return: A tuple of the full name of the used tool-info module and an instance of the tool-info class.