Project

General

Profile

Feature #9458

Feature #8494: Process extended format of violation witnesses

Visualize a new format of error traces

Added by Evgeny Novikov 6 months ago. Updated 18 days ago.

Status:
Resolved
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.

History

#1

Updated by Vladimir Gratinskiy 18 days ago

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

Implemented in bridge-3.0.

Also available in: Atom PDF