The STORM_PRINT and STORM_PRINT_AND_LOG statements defined in macros.h do not require a terminating semicolon when used. This is inconsistent with the usage of other logging commands.
While adding a semicolon at the end is possible, this might lead to warnings about empty statements.
To make the code more consistent, I propose modifying the macros such that a semicolon is required.
AlexBork
commented
1 month ago
The STORM_PRINT and STORM_PRINT_AND_LOG statements defined in macros.h do not require a terminating semicolon when used. This is inconsistent with the usage of other logging commands. While adding a semicolon at the end is possible, this might lead to warnings about empty statements. To make the code more consistent, I propose modifying the macros such that a semicolon is required.