Adapt reward export header format

prismmodelchecker / prism

The main development version of the PRISM model checker.

http://www.prismmodelchecker.org/

GNU General Public License v2.0

157 stars 73 forks source link

Closed merkste closed 1 year ago

merkste commented 1 year ago

The new format is # Reward structure # State rewards

davexparker commented 1 year ago

Thanks @merkste. Merged to master as 89ddcc2.