remove support for identifier

sosy-lab · Dec 18, 2024 · dd61ae1 · dd61ae1
1 parent 3b552c5
commit dd61ae1
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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