sml2
sml2 copied to clipboard
process event in transition table
When process a event in transition table , it will exit the dest state and enter the dest state twice. https://godbolt.org/z/4z4rqGPjz
Thanks for finding this. I see the issue, will fix.