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

Add missing include (fixes #524) #525

Closed tquatmann closed 5 months ago

volkm commented 5 months ago

Thanks. LGTM. I am wondering why the CI did not catch this issue, the Compiler Tests should use the latest versions.