Project

General

Profile

Feature #9459

Feature #8494: Process extended format of violation witnesses

Generate error traces in a new format

Added by Evgeny Novikov almost 2 years ago. Updated about 2 months ago.

Status:
Closed
Priority:
Urgent
Category:
Results processing
Target version:
Start date:
01/25/2019
Due date:
% Done:

0%

Estimated time:
Published in build:

Description

First of all, see the description of #9458. Also, we plan to eliminate many redundant error trace transformations that sometimes break visualization of found warnings.


Related issues

Related to Klever - Feature #9458: Visualize a new format of error tracesClosed01/25/201907/02/2019

Actions

History

#1

Updated by Evgeny Novikov over 1 year ago

  • Status changed from New to Resolved

Except for minor issues this is done in branch klever-3.0.

#2

Updated by Evgeny Novikov about 1 year ago

  • Status changed from Resolved to Closed

In master.

#3

Updated by Evgeny Novikov 2 months ago

  • Status changed from Closed to Resolved

I added support for all our existing extensions to violation witnesses in branch extended-witnesses. They need a new version of CPAchecker while currently corresponding functionality is in the development branch. Bridge update (#9458) is also necessary.

#4

Updated by Evgeny Novikov 2 months ago

  • Related to Feature #9458: Visualize a new format of error traces added
#5

Updated by Evgeny Novikov about 2 months 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.

#6

Updated by Evgeny Novikov about 2 months ago

  • Status changed from Open to Resolved

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

#7

Updated by Evgeny Novikov about 2 months ago

  • Status changed from Resolved to Closed

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

Also available in: Atom PDF