search

moves-rwth / storm

A Modern Probabilistic Model Checker
https://www.stormchecker.org
GNU General Public License v3.0
135 stars 75 forks source link

Prism parser: Player is a keyword for MDPs #335

Open sjunges opened 1 year ago

sjunges commented 1 year ago

Imho, player should only be a reserved keyword when parsing games. In particular, player is not a keyword for regular prism and thus, marking player as a keywords yields incompatibility with prism.

sjunges commented 1 year ago

See also #319

sjunges commented 1 year ago

Based on a discussion with @tquatmann a simple fix may to make player not a keyword.