Documentation error for enabling FSM visualization

mbeddr / mbeddr.formal

FASTEN: FormAl SpecificaTion ENvironment - a set of DSLs to experiment with rigorous systems and safety engineering.

https://sites.google.com/site/fastenroot/home

Apache License 2.0

23 stars 14 forks source link

Documentation error for enabling FSM visualization #63

Closed robertguetzkow closed 3 years ago

robertguetzkow commented 3 years ago

The _040_state_machines file states that the visualization of the FSM can be enabled through Projection > State-machine Diagram View. This is not correct, it is Notations > State-machine Diagram View.