Project

General

Profile

Actions

Feature #10752

closed

Add shortcut/button to open eyes

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 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 1 (0 open1 closed)

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

Actions
Actions #1

Updated by Evgeny Novikov over 1 year ago

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

Updated by Evgeny Novikov about 1 year ago

  • Target version changed from 3.2 to 3.3
Actions #3

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". On an error trace line selection the "eye" icon color of the corresponding scope is changing.

Actions #4

Updated by Evgeny Novikov 10 months ago

  • Status changed from Resolved to Closed

I like this way to solve the issue. The corresponding commit in master is 910771ecb.

Actions

Also available in: Atom PDF