#406 No indent for empty lines of console output of applications and libraries.
- Best to review per commit.
- No indent for empty lines of console output.
- Both in app framework and in libraries.
- Only for empty messages, not potentially-purposely blank messages.
- Right-trim the prefix if the message is empty.
- Note that I don't right-trim just any line, as if a user wants to really print
abc
from a CIF model (just to mention an example), they should be able to, I think. This merge request just prevents indenting empty lines. - Affects the following tools, for end users:
- Multi-level synthesis (not an end user tool yet).
- CIF controller properties checker.
- Event-based toolset: language equivalence check + DFA minimization.
Addresses #406 (closed)
Edited by Dennis Hendriks