prismmodelchecker / prism

The main development version of the PRISM model checker.
http://www.prismmodelchecker.org/
GNU General Public License v2.0
157 stars 72 forks source link

Inconsistency between state and transition reward headers #227

Closed LudwigPauly closed 1 year ago

LudwigPauly commented 1 year ago

While exporting state and transition rewards the header line is different.

State rewards: # Reward structure "$NAME"

Transition rewards: # Reward structure: "$NAME"