Menu

#16 SM state invariants in wrong order

3.1
closed
None
Bug
State-machine
2015-03-25
2015-03-25
Colin Snook
No

For Variables translation, nested state-machines produce invariants in wrong order.

Discussion

  • Colin Snook

    Colin Snook - 2015-03-25
    • status: open --> closed
     
  • Colin Snook

    Colin Snook - 2015-03-25

    Fixed in generation rules

     

Log in to post a comment.

Auth0 Logo