Project

General

Profile

Actions
Copy link

Feature #10554

closed

Visualize declarations and advanced notes

Added by Evgeny Novikov about 4 years ago. Updated about 4 years ago.

Status:
Rejected
Priority:
Urgent
Assignee:
Vladimir Gratinskiy
Category:
Bridge
Target version:
3.0
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.

Related issues 1 (0 open — 1 closed)

Is duplicate of Klever - Feature #9458: Visualize a new format of error tracesClosedVladimir Gratinskiy01/25/201907/02/2019

Actions
Actions
Copy link
 #1

Updated by Evgeny Novikov about 4 years ago

  • Is duplicate of Feature #9458: Visualize a new format of error traces added
Actions
Copy link
 #2

Updated by Evgeny Novikov about 4 years ago

  • Status changed from New to Rejected

Indeed, this was implied in #9458 but we closed it too early.

Actions
Copy link

Also available in: Atom PDF