Skip to:

  1. Skip to Jira Navigation
  2. Skip to Side Navigation
  3. Skip to Main Content

Allow configuring which kinds of error messages are displayed

Description

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).

Activity

Show:

dgelessus January 20, 2021 at 4:46 PM

Implemented in 651fb4a1.

Fixed

Details

Assignee

Reporter

Priority

Created November 9, 2020 at 11:06 AM
Updated January 20, 2021 at 4:46 PM
Resolved January 20, 2021 at 4:46 PM
Configure