Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
use transition only when it has been selected
fix for randomized transitions. When transitions are selected at random we only have to consume the triggers on the transition that has been selected of out the random candidates. If we consume the first one, the remaining ones are no longer candidates if they share the same trigger. Diffs= 6d8854ec04 use transition only when it has been selected (#8921)
- Loading branch information