Modify printing macros to require a trailing semicolon

moves-rwth / storm

A Modern Probabilistic Model Checker

https://www.stormchecker.org

GNU General Public License v3.0

135 stars 74 forks source link

Modify printing macros to require a trailing semicolon #552

Closed AlexBork closed 4 months ago

AlexBork commented 4 months ago

Adds wrapping do{...} while to STORM_PRINT and STORM_PRINT_AND_LOG macro definitions to require their uses to be followed by a semicolon. Also adjusts occurences where previously the semicolon was not present.

Resolves #551