Fixed in r15641. Note that I didn't add any assertions, as the state machine is too simple for any meaningful assertions to be written. At least, I couldn't think of any meaningful ones.
Filip Pizlo
added a comment - Fixed in r15641. Note that I didn't add any assertions, as the state machine is too simple for any meaningful assertions to be written. At least, I couldn't think of any meaningful ones.
Sub-task
Closed
Major
Fixed in r15641. Note that I didn't add any assertions, as the state machine is too simple for any meaningful assertions to be written. At least, I couldn't think of any meaningful ones.