Rename parameter in benchexec/tools/spf.py

sosy-lab · Dec 18, 2024 · dc0c97d · dc0c97d
1 parent dd61ae1
commit dc0c97d
Showing 1 changed file with 3 additions and 3 deletions.
diff --git a/benchexec/tools/spf.py b/benchexec/tools/spf.py
@@ -38,9 +38,9 @@ def version(self, executable):
         first_line = output.splitlines()[0]
         return first_line.strip()
 
-    def cmdline(self, executable, options, tasks, rlimits):
-        options = options + ["--propertyfile", tasks.property_file]
-        return [executable] + options + list(tasks.input_files)
+    def cmdline(self, executable, options, task, rlimits):
+        options = options + ["--propertyfile", task.property_file]
+        return [executable] + options + list(task.input_files)
 
     def determine_result(self, run):
         output = run.output