|
Prerequisites |
||
|
| 1. | Select the COMP composition in the Outline View. |
| 2. | Right-click the COMP composition in the Outline View and select the Safety item from the popup menu list. |
| 3. | Switch to the LTS Output view. If this view is not visible, enable it by Window à Show View à Other à LTSA à LTS Output. |
| 4. | Note the output of the LTS, in this case there are no deadlocks/errors detected |
