Differences
This shows you the differences between two versions of the page.
Both sides previous revision Previous revision | Next revision Both sides next revision | ||
ide_model [2021/01/05 03:00] 127.0.0.1 external edit |
ide_model [2021/04/29 22:12] admin [Model Execution] |
||
---|---|---|---|
Line 205: | Line 205: | ||
* play - visualize model execution synchronized with AUT / target process | * play - visualize model execution synchronized with AUT / target process | ||
- | This can be accomplished with the shortcut buttons: {{wiki: | + | This can be accomplished with the shortcut buttons: |
- | * {{wiki: | + | |
- | * {{wiki: | + | * {{wiki: |
- | * {{wiki: | + | * {{wiki: |
- | * {{wiki: | + | * {{wiki: |
- | * {{wiki: | + | * {{wiki: |
+ | * {{wiki: | ||
* {{wiki: | * {{wiki: | ||
- | * {{wiki: | + | * {{wiki: |
Model execution can be monitored with [[ide_monitor | Execution Monitor ]]. | Model execution can be monitored with [[ide_monitor | Execution Monitor ]]. |