Devessier opened this issue 3 years ago · 0 comments
A machine can have no final state. We must update the code and tests accordingly.