Merge pull request #1021 from justfeelix/main

minor changes to coccinelle tool
sosy-lab · Apr 8, 2024 · 2fb2a05 · 2fb2a05
2 parents 64d73c4 + d983761
commit 2fb2a05
Showing 1 changed file with 1 addition and 6 deletions.
diff --git a/benchexec/tools/coccinelle.py b/benchexec/tools/coccinelle.py
@@ -30,12 +30,7 @@ def version(self, executable):
         )
 
     def cmdline(self, executable, options, task, resource_limits):
-        if task.property_file:
-            return (
-                [executable] + options + [task.single_input_file] + [task.property_file]
-            )
-        else:
-            return [executable] + options + [task.single_input_file]
+        return [executable] + options + [task.single_input_file]
 
     def project_url(self):
         return "https://github.com/coccinelle/coccinelle"