old_contents: # This file is part of BenchExec, a framework for reliable benchmarking:
  # https://github.com/sosy-lab/benchexec
  #
  # SPDX-FileCopyrightText: 2007-2020 Dirk Beyer <https://www.sosy-lab.org>
  #
  # SPDX-License-Identifier: Apache-2.0
  
  import benchexec.tools.template
  from benchexec.tools.sv_benchmarks_util import get_data_model_from_task, ILP32, LP64
  
  
  class Tool(benchexec.tools.template.BaseTool2):
      """
      Tool info for Legion/SymCC (https://github.com/gernst/legion-symcc).
      """
  
      REQUIRED_PATHS = [
          "legion.sh",
          "Legion.py",
          "__VERIFIER.c",
          "symcc",
          "ubuntu2004",
          "dist",
      ]
  
      def executable(self, tool_locator):
          return tool_locator.find_executable("legion.sh")
  
      def version(self, executable):
          return self._version_from_tool(executable, ignore_stderr=True)
  
      def name(self):
          return "Legion/SymCC"
  
      def cmdline(self, executable, options, task, rlimits):
          data_model_param = get_data_model_from_task(task, {ILP32: "-32", LP64: "-64"})
          if data_model_param and data_model_param not in options:
              options += [data_model_param]
  
          return [executable, *options, *task.input_files_or_identifier]
  
      def get_value_from_output(self, output, identifier):
          for line in reversed(output):
              if line.startswith(identifier):
                  return line[len(identifier) :]
          return None
  
new_contents: # This file is part of BenchExec, a framework for reliable benchmarking:
  # https://github.com/sosy-lab/benchexec
  #
  # SPDX-FileCopyrightText: 2007-2020 Dirk Beyer <https://www.sosy-lab.org>
  #
  # SPDX-License-Identifier: Apache-2.0
  
  import benchexec.tools.template
  from benchexec.tools.sv_benchmarks_util import get_data_model_from_task, ILP32, LP64
  
  
  class Tool(benchexec.tools.template.BaseTool2):
      """
      Tool info for Legion/SymCC (https://github.com/gernst/legion-symcc).
      """
  
      REQUIRED_PATHS = [
          "legion.sh",
          "Legion.py",
          "__VERIFIER.c",
          "ubuntu2004",
          "dist",
      ]
  
      def executable(self, tool_locator):
          return tool_locator.find_executable("legion.sh")
  
      def version(self, executable):
          return self._version_from_tool(executable, ignore_stderr=True)
  
      def name(self):
          return "Legion/SymCC"
  
      def cmdline(self, executable, options, task, rlimits):
          data_model_param = get_data_model_from_task(task, {ILP32: "-32", LP64: "-64"})
          if data_model_param and data_model_param not in options:
              options += [data_model_param]
  
          return [executable, *options, *task.input_files_or_identifier]
  
      def get_value_from_output(self, output, identifier):
          for line in reversed(output):
              if line.startswith(identifier):
                  return line[len(identifier) :]
          return None
  
subject: remove symcc script from deps