prismmodelchecker / prism-games

The main development version of the PRISM-games model checker, an extension of PRISM which supports stochastic games.
http://www.prismmodelchecker.org/games/
GNU General Public License v2.0
22 stars 26 forks source link

Fix NPE in PropertiesSemanticCheck #1

Closed kleinj closed 5 years ago

kleinj commented 6 years ago

For properties using <<*>>..., i.e., an all-player coalition, the semantics check throws a null-pointer exception.

As the check only checks for valid player indices/names, in this case we can just skip the check.

davexparker commented 5 years ago

Thanks. Merged.