Project

General

Profile

Actions

Feature #9458

closed

Feature #8494: Process extended format of violation witnesses

Visualize a new format of error traces

Added by Evgeny Novikov about 5 years ago. Updated over 3 years ago.

Status:
Closed
Priority:
Urgent
Category:
Bridge
Target version:
Start date:
01/25/2019
Due date:
07/02/2019
% Done:

100%

Estimated time:
Published in build:

Description

The error trace format that is used at the moment was not designed well enough. Thus, we have numerous issues with it (both when generating it and when processing it). The new format will be better. Besides, it will come with some improvements from the extended format of violation witnesses.


Related issues 2 (0 open2 closed)

Related to Klever - Feature #9459: Generate error traces in a new formatClosedEvgeny Novikov01/25/2019

Actions
Has duplicate Klever - Feature #10554: Visualize declarations and advanced notesRejectedVladimir Gratinskiy10/22/2020

Actions
Actions #1

Updated by Vladimir Gratinskiy over 4 years ago

  • Due date set to 07/02/2019
  • Status changed from New to Resolved
  • % Done changed from 0 to 100

Implemented in bridge-3.0.

Actions #2

Updated by Evgeny Novikov about 4 years ago

  • Status changed from Resolved to Closed

In master.

Actions #3

Updated by Evgeny Novikov over 3 years ago

  • Related to Feature #9459: Generate error traces in a new format added
Actions #4

Updated by Evgeny Novikov over 3 years ago

  • Status changed from Closed to Resolved

We updated format to support extended violation witnesses, so, some changes in visualization and assessment are necessary. These changes shouldn't be backward compatible with master.

Actions #5

Updated by Evgeny Novikov over 3 years ago

  • Has duplicate Feature #10554: Visualize declarations and advanced notes added
Actions #6

Updated by Evgeny Novikov over 3 years ago

  • Status changed from Resolved to Open

New features are not implemented yet.

Actions #7

Updated by Evgeny Novikov over 3 years ago

  • Status changed from Open to Resolved

It was done in branch extended-witnesses around 10 days ago.

Actions #8

Updated by Evgeny Novikov over 3 years ago

  • Status changed from Resolved to Open

Thanks to Pavel we understood that we do not support several notes per one edge though it is useful and it is mentioned in specification of extended violation witnesses.

Actions #9

Updated by Evgeny Novikov over 3 years ago

  • Status changed from Open to Resolved

Multiple notes per one violation witness edge (error trace node) were supported in branch extended-witnesses.

Actions #10

Updated by Evgeny Novikov over 3 years ago

  • Status changed from Resolved to Closed

Tests passed, so, I merged the branch to master in d74545524.

Actions

Also available in: Atom PDF