Allow configuring which kinds of error messages are displayed
Description
Activity
Show:
dgelessus January 20, 2021 at 4:46 PM
Implemented in 651fb4a1.
Fixed
Details
Details
Assignee
dgelessus
dgelessusReporter
dgelessus
dgelessusPriority
Created November 9, 2020 at 11:06 AM
Updated January 20, 2021 at 4:46 PM
Resolved January 20, 2021 at 4:46 PM
In some cases the user may not be interested in less severe error messages from ProB (messages, warnings). There should be an option to select which level of error messages to display (e. g. all messages, only warnings and errors, only errors).