
import benchexec.result as result
import benchexec.util as util
import benchexec.tools.template


class Tool(benchexec.tools.template.BaseTool):
    """
    Tool info for Legion (https://github.com/Alan32Liu/Principes).
    """

    REQUIRED_PATHS = [
        "legion-sv",
        "Legion.py",
        "__VERIFIER.c",
        "__trace_jump.s",
        "tracejump.py",
        "lib",
    ]

    def executable(self):
        return util.find_executable("legion-sv")

    def version(self, executable):
        return self._version_from_tool(executable)

    def name(self):
        return "Legion"


import benchexec.result as result
import benchexec.util as util
import benchexec.tools.template


class Tool(benchexec.tools.template.BaseTool):
    """
    Tool info for Legion (https://github.com/Alan32Liu/Principes).
    """

    REQUIRED_PATHS = [
        "legion-sv",
        "Legion.py",
        "__VERIFIER.c",
        "__VERIFIER_assume.c",
        "__VERIFIER_assume.instr.s",
        "__trace_jump.s",
        "__trace_buffered.c",
        "tracejump.py",
        "lib",
    ]

    def executable(self):
        return util.find_executable("legion-sv")

    def version(self, executable):
        return self._version_from_tool(executable)

    def name(self):
        return "Legion"

Add some files to Legion
Add some files to Legion

  
  import benchexec.result as result
  import benchexec.util as util
  import benchexec.tools.template
  
  
  class Tool(benchexec.tools.template.BaseTool):
      """
      Tool info for Legion (https://github.com/Alan32Liu/Principes).
      """
  
      REQUIRED_PATHS = [
          "legion-sv",
          "Legion.py",
          "__VERIFIER.c",
+         "__VERIFIER_assume.c",
+         "__VERIFIER_assume.instr.s",
          "__trace_jump.s",
+         "__trace_buffered.c",
          "tracejump.py",
          "lib",
      ]
  
      def executable(self):
          return util.find_executable("legion-sv")
  
      def version(self, executable):
          return self._version_from_tool(executable)
  
      def name(self):
          return "Legion"
  
Add some files to Legion
## Code Before:

import benchexec.result as result
import benchexec.util as util
import benchexec.tools.template


class Tool(benchexec.tools.template.BaseTool):
    """
    Tool info for Legion (https://github.com/Alan32Liu/Principes).
    """

    REQUIRED_PATHS = [
        "legion-sv",
        "Legion.py",
        "__VERIFIER.c",
        "__trace_jump.s",
        "tracejump.py",
        "lib",
    ]

    def executable(self):
        return util.find_executable("legion-sv")

    def version(self, executable):
        return self._version_from_tool(executable)

    def name(self):
        return "Legion"

## Instruction:
Add some files to Legion
## Code After:

import benchexec.result as result
import benchexec.util as util
import benchexec.tools.template


class Tool(benchexec.tools.template.BaseTool):
    """
    Tool info for Legion (https://github.com/Alan32Liu/Principes).
    """

    REQUIRED_PATHS = [
        "legion-sv",
        "Legion.py",
        "__VERIFIER.c",
        "__VERIFIER_assume.c",
        "__VERIFIER_assume.instr.s",
        "__trace_jump.s",
        "__trace_buffered.c",
        "tracejump.py",
        "lib",
    ]

    def executable(self):
        return util.find_executable("legion-sv")

    def version(self, executable):
        return self._version_from_tool(executable)

    def name(self):
        return "Legion"
