From dc0c97db730f4a5576ebabb6deea2f0413c2c341 Mon Sep 17 00:00:00 2001 From: Philipp Wendler <2545335+PhilippWendler@users.noreply.github.com> Date: Wed, 18 Dec 2024 13:55:25 +0100 Subject: [PATCH] Rename parameter in benchexec/tools/spf.py --- benchexec/tools/spf.py | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/benchexec/tools/spf.py b/benchexec/tools/spf.py index dc2480340..c92905132 100644 --- 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