sismic
sismic copied to clipboard
Branch specs - get specifications from statechart
This branch implements some support to automatically get some information from the Python code contained in a statechart, such as the events that can be sent, the attributes that are accessed in the code, the type of the variables, and so on.