It is possible to run multiple POOSL simulations at once. To connect to the simulator, the debugger uses a TCP/IP port. This port is set in the run configuration created when you run or debug a model for the first time. The default TCP/IP port is 10001. In order to debug multiple models at the same time, the used TCP/IP ports should be unique. To change the run configuration, follow these steps:
The non-determinism in POOSL models has to be resolved by the simulator. The POOSL IDE offers the option to set the seed that is used by the simulator for resolving non-determinism. There are two options, either manually set a fixed seed, or choose a random seed each time a simulation is started. The user can make an independent choice for every single launch configuration. The default choice is to use the fixed seed 1.
The seed that is used for a specific simulation can be seen in the headline of the Console view. In particular this can be useful when using a random seed.
To change this setting for a specific launch configuration follow these steps: