Show example state whenever probabilties sum up to more or less than one.

[HansvdLaan]

Whenever one tries to build a model in which the probabilities sum up to less or more than one an error like the one below is shown:

Error: Probabilities in command 1 of module "name" sum to less than one (e.g. X) 
for some states.  Perhaps some of the updates give out-of-range values. 
One possible solution is to strengthen the guard (line Y, column Z).

This gives the user only a minimal pointer to figure out the mistake in his model.

An usefull addition to this error message would be to give an example state in which this actually is the case.

This is already being done in the GUI whenever one tries to plot a path in the faulty model.

Error: Probabilities sum up to A in state(B=0, C=1) (line X, column Y)

[davexparker]

Thanks for the report. This is a known issue. But with the default (symbolic) engine used to build models in PRISM, it's actually quite hard to generate helpful error message of that sort.

We've actually been working on it recently, though, and will hopefully have something implemented soon.