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

Remove unnecessary null pointer checks #532

Closed elfring closed 4 months ago

elfring commented 4 months ago

An extra null pointer check is not needed in functions like the following.

sjunges commented 4 months ago

Thanks for the report!

elfring commented 4 months ago

Thanks for your small source code improvement.