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.