Project

General

Profile

Feature #10752

Add shortcut/button to open eyes

Added by Evgeny Novikov about 2 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 again started to annotate error traces very intensively. This helps to track things influencing reported warnings, but also it can result in too long error traces. For instance, I attached the error trace produced for a simple test case. Usually we analyze error traces starting from the end. If your monitor is not huge, you can hardly find an eye for function init where the verification tool reported the bug. Even huge monitors will not help for some error traces for real programs.

I suggest to add a shortcut/button to open eyes after users will click on some lines within corresponding functions. Anton suggested to show even a new bar for this purpose like IDEs do, but it will not be great from my point of view. Any ideas are welcome.


Files

error trace.zip (3.78 KB) error trace.zip Evgeny Novikov, 03/13/2021 03:48 PM

Related issues

Related to Klever - Feature #10753: Allow to show/hide comments of particular levelsNewVladimir Gratinskiy03/13/2021

Actions
#1

Updated by Evgeny Novikov about 2 months ago

  • Related to Feature #10753: Allow to show/hide comments of particular levels added

Also available in: Atom PDF