Project

General

Profile

Feature #10753

Allow to show/hide comments of particular levels

Added by Evgeny Novikov 3 months ago.

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

0%

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

Related to Klever - Feature #10752: Add shortcut/button to open eyesNewVladimir Gratinskiy03/13/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

Also available in: Atom PDF