search

moves-rwth / storm

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

Better error message when checking instantaneous reward formula without state rewards #508

Closed tquatmann closed 7 months ago

tquatmann commented 7 months ago

The former message was a bit misleading.