From dd61ae1cee64acc6315f859712841d4062eede02 Mon Sep 17 00:00:00 2001 From: Henrik Wachowitz Date: Wed, 18 Dec 2024 11:15:52 +0100 Subject: [PATCH] remove support for identifier --- benchexec/tools/spf.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/benchexec/tools/spf.py b/benchexec/tools/spf.py index 0a9eb763b..dc2480340 100644 --- a/benchexec/tools/spf.py +++ b/benchexec/tools/spf.py @@ -40,7 +40,7 @@ def version(self, executable): def cmdline(self, executable, options, tasks, rlimits): options = options + ["--propertyfile", tasks.property_file] - return [executable] + options + list(tasks.input_files_or_identifier) + return [executable] + options + list(tasks.input_files) def determine_result(self, run): output = run.output