Actions
Feature #10753
closedAllow to show/hide comments of particular levels
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.
Updated by Evgeny Novikov over 3 years ago
- Related to Feature #10752: Add shortcut/button to open eyes added
Updated by Evgeny Novikov over 3 years ago
- Related to Feature #10751: Add comments of level 2 for rather important places and actions within environment models added
Updated by Evgeny Novikov over 3 years ago
- Target version changed from 3.2 to 3.3
Updated by Vladimir Gratinskiy about 3 years 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.
Updated by Evgeny Novikov about 3 years 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