Feature #7640
closedBy default hide all edges from error traces without important annotations
100%
Description
At last we almost ready to make a revolution in error traces visualization! I suppose to hide all edges from error traces without important annotations. Instead use just clickable "..." that will allow to show hidden parts of error traces. Perhaps all hidden edges should be represented as actions (#7639) so that they will be shifted by one additional indentation level and one will be able to hide them again by clicking "..." second time.
What are important annotations? They are just callback actions (#7639), notes (not nested to other notes or/and warnings) and warnings. This will show to analyzers an approximate high-level way in a module under verification including some model changes and eventually resulting in assertion violation. Step by step, if required, people will be able to discover additional facts.
Updated by Vladimir Gratinskiy over 7 years ago
- Due date set to 11/16/2016
- Status changed from New to Resolved
- % Done changed from 0 to 100
Implemented in branch "better-unsafes-and-marks".
Updated by Ilja Zakharov over 7 years ago
- Status changed from Resolved to Verified
Updated by Ilja Zakharov over 7 years ago
- Status changed from Verified to Closed
Merged in 6e2305dc.