In the simulator it would be nice if transitions with ill-defined successors were marked in a special way in the 'Enabled Transitions' list. Currently one cannot destinguish such transitions from regular transitions. One way of marking them could be by writing them with grey or red text.
Good suggestion. I will work on it when I get time.
Moving bug to 3.5.7, as this is an enhancement bug and only bug fixes are allowed on 3.4.
Mads, this should not be too difficult to implement. Do you want to take a look at it?
I will take a look at it next week.
Mads is too busy to work on these things. Robert, I hope you can find some time to do some work on these items.
Currently, for states with ill-defined successors, no successor is shown in the simulator. An error message is shown, but in the future this error message should be refined to include the actual error. However, I guess this will not happen for 3.6.
Actually, there is another aspect of this bug. The thing that was changed recently was that states in which the successor computation triggered runtime errors like division by zero or assignment out of range would not be shown at all. However, there is also the situation were we have a transition, but the invariants on the target state cause that state to not exist. Such transitions are still shown in the simulator. In would be nice if they were marked by a different color and a random simulation would avoid them.
Fixed on the trunk from rev. 1712.