Introduction
The LTS Output view lists any output generated by an LTSA command. For example, when the user selects to "compile" an FSP model, the output generated by the compiler is listed in this view.
Opening the View
The LTS Output view is opened by default on selecting the LTSA Perspective. However, if it has been closed, it can be reopened by selecting Window à Show View à Other à LTSA à LTS Output.
The view is a text view of generated statements from the LTSA compiler.
Note: Additional LTSA Eclipse extension plug-ins may also contribute further actions to the LTS Output View window toolbar.