| | 1 | |
| | 2 | == CIVL Trace Viewer == |
| | 3 | |
| | 4 | - Components |
| | 5 | * Transition |
| | 6 | - Contains a number of steps |
| | 7 | - Clicked: show the final state of the transition on the right |
| | 8 | - Possible to fold/unfold all transition (3) |
| | 9 | * Step |
| | 10 | - Contains the statement and the target state |
| | 11 | - Clicked: show the target state on the right |
| | 12 | * State |
| | 13 | - Contains a dyscope tree and a list of processes |
| | 14 | - Unfold all nodes by default (including dysopes, processes) |
| | 15 | - Use identifier of dyscopes/processes |
| | 16 | - Possible to fold/unfold all subnodes of a state |
| | 17 | |
| | 18 | - Features |
