You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Currently, the output from lfc can be rather verbose. Messages from the underlying build system can be suppressed using the --quiet flag, but that might suppress too much output and impair the user's ability to judge whether actual progress is being made (or the build process stagnated for whatever reason). It would be great if we could create our own progress indicator to address this concern. Once implemented, and the "quiet" output is sufficiently informational for average use, we can let that be the default behavior and instead have a --verbose flag to display all messages.
Major progress has been made with the introduction of MessageReporter which is not only for reporting errors. There are a few more locations left where System.out is being used:
FileUtil::deleteDirectory
LFCommand::run
StateInfo
StateSpaceDiagram
StateSpaceExplorer
UclidGenerator
UclidRunner
The text was updated successfully, but these errors were encountered:
To add to this, informational messages are written directly to standard out and are often poorly formatted. We should introduce a class similar to ErrorReporter to format and display informational messages. This is particularly useful for the code generation process of federations, where multiple code generators are at work and concurrently write such messages.
Currently, the output from
lfc
can be rather verbose. Messages from the underlying build system can be suppressed using the--quiet
flag, but that might suppress too much output and impair the user's ability to judge whether actual progress is being made (or the build process stagnated for whatever reason). It would be great if we could create our own progress indicator to address this concern. Once implemented, and the "quiet" output is sufficiently informational for average use, we can let that be the default behavior and instead have a--verbose
flag to display all messages.Major progress has been made with the introduction of
MessageReporter
which is not only for reporting errors. There are a few more locations left whereSystem.out
is being used:FileUtil::deleteDirectory
LFCommand::run
StateInfo
StateSpaceDiagram
StateSpaceExplorer
UclidGenerator
UclidRunner
The text was updated successfully, but these errors were encountered: