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

replace print with logging when computing expected visits #501

Closed randriu closed 7 months ago

randriu commented 7 months ago

STORM_PRINT produces unwanted messages when computing expected visits multiple times, and (as far as I know) cannot be disabled.

tquatmann commented 7 months ago

LGTM!

I fixed the automatic formatting (hope you don't mind).

randriu commented 7 months ago

Thanks a lot!