Project

General

Profile

Feature #9458

Feature #8494: Process extended format of violation witnesses

Visualize a new format of error traces

Added by Evgeny Novikov 4 months ago.

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

0%

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.

Also available in: Atom PDF