| <html> | |
| <body> | |
| <h1>SEW Menu</h1> | |
| <p>For the exploitation of XLIA models, the EFM Project provides 2 shortcut actions in the SEW (Symbolic Execution Workflow) Menu available on Eclipse's menu bar :</p> | |
| <ul> | |
| <li>the "GraphViz" action that launches the graph visualization tool on a ".gv" graph file that is selected on the "Project Explorer"</li> | |
| <li>the "Run SEW" action that launches the symbolic execution defined on a ".favm" precompiled SEW file that is selected on the "Project Explorer"</li> | |
| </ul> | |
| <img src="images/sew_menu_001.png" width=950, border="3"> | |
| <p>This menu is also accessible trough the SEW icon below (downward pointing arrow). Moreover, when clicking on this icon :</p> | |
| <ul> | |
| <li>if a ".gv" graph file is selected on the "Project Explorer", this will launch the graph visualization tool</li> | |
| <li>if a ".favm" precompiled SEW file is selected on the "Project Explorer", this will launch the corresponding symbolic execution</li> | |
| </ul> | |
| <img src="images/sew_menu_002.png" width=950, border="3"> | |
| </body> | |
| </html> |