Actions
Feature #10554
closedVisualize declarations and advanced notes
Start date:
10/22/2020
Due date:
% Done:
0%
Estimated time:
Published in build:
Description
Extended violation witnesses distinguish declarations (that are usually less important than statements) and introduce advanced notes. We need to extend the internal error trace format appropriately and support this extension in Bridge.
Actions