You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
#145 has introduced a bug: changing the order of the final_state in generate_transitions() can result in a different number of final states. This was determined with git bisect using the following test:
#145 has introduced a bug: changing the order of the
final_state
ingenerate_transitions()
can result in a different number of final states. This was determined withgit bisect
using the following test:First failing commit is abd875d. Probably fixed best through #144.
Note: the test does not fail anymore after #156
The text was updated successfully, but these errors were encountered: