search

moves-rwth / storm

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

Removed RewardMeasureType #575

Closed volkm closed 1 day ago

volkm commented 2 days ago

Resolves #541

While going through the files I also replaced ifndef by pragma once and applied autoformat on the include orders.

sjunges commented 1 day ago

LGTM, many thanks!