Generate proper relative path of tool executable.

SMT-COMP · Apr 23, 2024 · a448e42 · a448e42
1 parent e2e1234
commit a448e42
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/smtcomp/benchexec.py b/smtcomp/benchexec.py
@@ -85,7 +85,7 @@ def cmdtask_for_submission(s: defs.Submission, cachedir: Path) -> List[CmdTask]:
                     options = [
                         "bash",
                         "-c",
-                        f'FILE=$(realpath $1); (cd {shlex.quote(dirname)}; exec {shlex.quote(executable)} "$FILE")',
+                        f'FILE=$(realpath $1); (cd {shlex.quote(dirname)}; exec ./{shlex.quote(executable_path.name)} "$FILE")',
                         "compa_starexec",
                     ]
                 else: