Project

General

Profile

Actions

Feature #10753

closed

Allow to show/hide comments of particular levels

Added by Evgeny Novikov over 1 year ago. Updated 10 months ago.

Status:
Closed
Priority:
High
Category:
Bridge
Target version:
Start date:
03/13/2021
Due date:
08/30/2021
% Done:

100%

Estimated time:
Published in build:

Description

CPAchecker SMG already issues many notes of level 1 for error traces. Soon it can also start to issue comments of other levels as well. I suggest that comments of level 3 will be useful for developers of verification tools, so, it has sense to hide them by default, but there should be an ability to show them. Ditto for comments of level 2 since starting from some point users can become aware about corresponding assumptions, and they may want to hide them to reduce the error trace size.


Related issues 2 (0 open2 closed)

Related to Klever - Feature #10752: Add shortcut/button to open eyesClosedVladimir Gratinskiy03/13/202108/30/2021

Actions
Related to Klever - Feature #10751: Add comments of level 2 for rather important places and actions within environment modelsClosedEvgeny Novikov03/13/2021

Actions
Actions #1

Updated by Evgeny Novikov over 1 year ago

Actions #2

Updated by Evgeny Novikov over 1 year ago

  • Related to Feature #10751: Add comments of level 2 for rather important places and actions within environment models added
Actions #3

Updated by Evgeny Novikov about 1 year ago

  • Target version changed from 3.2 to 3.3
Actions #4

Updated by Vladimir Gratinskiy 10 months ago

  • Due date set to 08/30/2021
  • Status changed from New to Resolved
  • % Done changed from 0 to 100

Implemented in "bridge-fixes". New user setting is added.

Actions #5

Updated by Evgeny Novikov 10 months ago

  • Status changed from Resolved to Closed

I tested that it works and merged the branch to master in 0cde276bc. Don't forget to migrate existing databases!

Actions

Also available in: Atom PDF