Feature #10530
Improve representation of leaf reports and enhance capabilities for providing their attributes
100%
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
History
Updated by Evgeny Novikov 3 months ago
- Related to Feature #8706: Permanent (pretty) URLs for error traces added
Updated by Evgeny Novikov 3 months ago
- Blocks Feature #10531: Report attributes and their flags according to the new scheme added
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".
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.