fix lint

a16z · Jun 23, 2024 · 7202323 · 7202323
1 parent ee1e115
commit 7202323
Showing 1 changed file with 5 additions and 1 deletion.
diff --git a/src/halmos/sevm.py b/src/halmos/sevm.py
@@ -492,7 +492,11 @@ def __deepcopy__(self, memo):
 
     def __str__(self) -> str:
         return "".join(
-            [f"- {cond}\n" for cond in self.conditions if self.conditions[cond] and str(cond) != "True"]
+            [
+                f"- {cond}\n"
+                for cond in self.conditions
+                if self.conditions[cond] and str(cond) != "True"
+            ]
         )
 
     def to_smt2(self) -> str: