Loading a Counter Example Simulation for a Subsystem


1. From the DESpot main window, open the project for which you want to load the simulation.

2. Select the subsystem for which you want to load the simulation by clicking on it.

3. From the menu bar, click Tools | Subsystem Simulation

OR

Right click the subsystem and from the context menu click "Subsystem Simulation".

3. The configuration wizard pops up. Click on the button.

4. From the menu bar, click File | Open

5. Select the file and click on the button.


«   |   »