From Event-B
Jump to navigationJump to search

Dear Sir or Madame,

I have the following question about simulation of a model. When a model has events that contain ANY local variables, ProB computes several options we can choose from. These options as well as "Show Dialog ..." option are available when right clicking on some event. However, sometimes it might be required to have a big number of options, e.g. 100, which cannot fit to a screen. Therefore, it is necessary to scroll down until the option "Show Dialog ..." appears.

The question is: Would it be possible to sort out the options such that the option "Show Dialog ..." appears first, i.e. there is no need to scroll down?

Best Regards, Sergey