Improve representation of leaf reports and enhance capabilities for providing their attributes
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.
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.