Project

General

Profile

Feature #10530

Improve representation of leaf reports and enhance capabilities for providing their attributes

Added by Evgeny Novikov 3 months ago. Updated about 2 months ago.

Status:
Closed
Priority:
Urgent
Category:
Bridge
Target version:
Start date:
10/16/2020
Due date:
11/19/2020
% Done:

100%

Estimated time:
Published in build:

Description

A long ago we supported constant URLs for error traces to have an ability to transfer verification jobs without changing relative paths to their error traces (#8706). But these URLs lack details that are available, say, for components. Besides, Bridge can add values of attributes having flag "associate" to URLs since corresponding attributes represent most interesting characteristics of error traces such as program fragments and requirement specifications. At last, it has sense to support such the approach for providing URLs not only for Unsafes and error traces, but for Safes and Unknowns as well.

Regarding enhanced capabilities for providing leaf report attributes, we noticed that it would be great to have an ability to add (overwrite) values for attribute flags "associate" and "compare" for child reports. For instance, currently CPAchecker Unknown reports inherit such the flags from VRP that requires a special filter in Bridge since Unknown report does not need any attributes for associating marks.


Related issues

Related to Klever - Feature #8706: Permanent (pretty) URLs for error tracesClosed02/06/2018

Actions
Blocks Klever - Feature #10531: Report attributes and their flags according to the new schemeClosed10/16/2020

Actions
Blocks Klever - Feature #9836: Collapse migrationsClosed09/25/201903/05/2020

Actions

History

#1

Updated by Evgeny Novikov 3 months ago

  • Related to Feature #8706: Permanent (pretty) URLs for error traces added
#2

Updated by Evgeny Novikov 3 months ago

  • Blocks Feature #10531: Report attributes and their flags according to the new scheme added
#3

Updated by Evgeny Novikov 2 months ago

#4

Updated by Vladimir Gratinskiy 2 months ago

  • % Done changed from 0 to 100
  • Status changed from New to Resolved
  • Due date set to 11/19/2020

Implemented in "bridge_10530".

#5

Updated by Evgeny Novikov about 2 months ago

  • Status changed from Resolved to Closed

Tests passed, so, I merged the branch to master in 466cb1e50.

Please, note, that this change is not backward compatible! Thus, you need to completely reinstall Klever instances after update, but you can download tags and marks from old instances and upload them to the new ones.

Also available in: Atom PDF