[issue1133] style check

aibasel · Jan 20, 2024 · 849f4b8 · 849f4b8
1 parent 79af53e
commit 849f4b8
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 2 deletions.
diff --git a/src/translate/constraints.py b/src/translate/constraints.py
@@ -163,7 +163,8 @@ def inequality_disjunction_ok(ineq_disj, representative):
             # inequality disjunction there is an inequality where the two terms
             # are in different equivalence classes.
             representative = combined.get_representative()
-            if any(representative.get(s,s)[0] != "?" for s in self.not_constant):
+            if any(representative.get(s, s)[0] != "?"
+                   for s in self.not_constant):
                 continue
             for ineq_disjunction in self.ineq_disjunctions:
                 if not inequality_disjunction_ok(ineq_disjunction,

diff --git a/src/translate/invariant_finder.py b/src/translate/invariant_finder.py
@@ -129,7 +129,7 @@ def useful_groups(invariants, initial_facts):
             inv_vars = [f"?@v{i}" for i in range(invariant.arity())]
             parameters_tuple = tuple((var, parameters[var])
                                      for var in inv_vars)
-            
+
             parameters_tuple = tuple(sorted(x for x in parameters.items()))
             group_key = (invariant, parameters_tuple)
             if group_key not in nonempty_groups: