Merge branch 'master' into improve-performance-of-w-methods

DES-Lab · Jan 20, 2025 · 57d27c5 · 57d27c5
2 parents 0a2e145 + a752949
commit 57d27c5
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/aalpy/oracles/WpMethodEqOracle.py b/aalpy/oracles/WpMethodEqOracle.py
@@ -1,4 +1,4 @@
-from itertools import chain, tee, product
+from itertools import chain, product
 
 from aalpy.base.Oracle import Oracle
 from aalpy.base.SUL import SUL
@@ -39,6 +39,7 @@ def first_phase_it(alphabet, state_cover, depth, char_set):
                 for c in char_set:
                     yield s + m + c
 
+
 def second_phase_it(hyp, alphabet, difference, depth):
     """
     Return an iterator that generates all possible sequences for the second phase of the Wp-method.