Reformat deagle.py's parentheses

sosy-lab · Nov 7, 2023 · ec35452 · ec35452
1 parent e8ad495
commit ec35452
Showing 1 changed file with 3 additions and 1 deletion.
diff --git a/benchexec/tools/deagle.py b/benchexec/tools/deagle.py
@@ -42,7 +42,9 @@ def cmdline(self, executable, options, task, rlimits):
         if self.version_geq(ver, "2.2"):
             return [executable] + [task.property_file] + [task.single_input_file]
         else:
-            data_model_param = get_data_model_from_task(task, {ILP32: "--32", LP64: "--64"})
+            data_model_param = get_data_model_from_task(
+                task, {ILP32: "--32", LP64: "--64"}
+            )
             if not data_model_param:
                 data_model_param = "--32"
             if data_model_param not in options: