Skip to content

Commit

Permalink
fixed mistake. can't consume iterator more than once. still fast but …
Browse files Browse the repository at this point in the history
…last round takes up time, as expected
  • Loading branch information
steve-anunknown committed Jan 16, 2025
1 parent faac4ca commit 0a2e145
Showing 1 changed file with 2 additions and 2 deletions.
4 changes: 2 additions & 2 deletions aalpy/oracles/WpMethodEqOracle.py
Original file line number Diff line number Diff line change
Expand Up @@ -51,8 +51,8 @@ def second_phase_it(hyp, alphabet, difference, depth):
state_mapping = {}
for d in range(depth):
middle = product(alphabet, repeat=d)
for t in difference:
for mid in middle:
for mid in middle:
for t in difference:
_ = hyp.execute_sequence(hyp.initial_state, t + mid)
state = hyp.current_state
if state not in state_mapping:
Expand Down

0 comments on commit 0a2e145

Please sign in to comment.