moves-rwth / storm

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

Better automatic detection of available threads (fixes #495) #497

Closed tquatmann closed 5 months ago

tquatmann commented 5 months ago
tquatmann commented 5 months ago

Thanks! I changed a minor thing in SylvanSettings.cpp to handle --sylvan:threads 0 properly and to print the warning there just once.