Refine the collections of required program files for MoXI model checkers

sosy-lab · Dec 5, 2024 · e1fee24 · e1fee24
1 parent c35f6ad
commit e1fee24
Show file tree

Hide file tree

Showing 2 changed files with 1 addition and 4 deletions.
diff --git a/benchexec/tools/moxi-mc-flow.py b/benchexec/tools/moxi-mc-flow.py
@@ -32,9 +32,6 @@ def name(self):
     def project_url(self):
         return "https://github.com/ModelChecker/moxi-mc-flow"
 
-    def program_files(self, executable):
-        return self._program_files_from_executable(executable, self.REQUIRED_PATHS)
-
     def cmdline(self, executable, options, task, rlimits):
         if rlimits.cputime and "--timeout" not in options:
             options += ["--timeout", str(ceil(rlimits.cputime * 1.05))]

diff --git a/benchexec/tools/moxichecker.py b/benchexec/tools/moxichecker.py
@@ -29,7 +29,7 @@ def version(self, executable):
         return self._version_from_tool(executable)
 
     def program_files(self, executable):
-        return self._program_files_from_executable(
+        return [executable] + self._program_files_from_executable(
             executable, self.REQUIRED_PATHS, parent_dir=True
         )