Reformat

sosy-lab · Nov 22, 2024 · 172b5b3 · 172b5b3
1 parent 32c796d
commit 172b5b3
Showing 1 changed file with 3 additions and 1 deletion.
diff --git a/benchexec/tools/deagle.py b/benchexec/tools/deagle.py
@@ -63,7 +63,9 @@ def determine_result(self, run):
             for line in run.output:
                 if "nodatarace.assertion." in line and "FAILURE" in line:
                     status = result.RESULT_FALSE_DATARACE
-                if ("alloc.assertion." in line or "pointer_dereference." in line) and "FAILURE" in line:
+                if (
+                    "alloc.assertion." in line or "pointer_dereference." in line
+                ) and "FAILURE" in line:
                     status = result.RESULT_FALSE_DEREF
                 if "memory-leak." in line and "FAILURE" in line:
                     status = result.RESULT_FALSE_MEMTRACK