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
If two states in a modron inject the same event (e.g. skip), mechanus will consider the modron to be on a fixpoint (not progressing) even though the state has changed and the modron will halt.
If two states in a modron inject the same event (e.g. skip), mechanus will consider the modron to be on a fixpoint (not progressing) even though the state has changed and the modron will halt.
This can cause premature halting of the modron. See:
https://github.com/kivra/mechanus_fsm/blob/master/src/mechanus_modron.erl#L74
The text was updated successfully, but these errors were encountered: