Feature #9458
closed
Feature #8494: Process extended format of violation witnesses
Visualize a new format of error traces
Added by Evgeny Novikov over 5 years ago.
Updated over 3 years ago.
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.
- Due date set to 07/02/2019
- Status changed from New to Resolved
- % Done changed from 0 to 100
Implemented in bridge-3.0.
- Status changed from Resolved to Closed
- Related to Feature #9459: Generate error traces in a new format added
- 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.
- Has duplicate Feature #10554: Visualize declarations and advanced notes added
- Status changed from Resolved to Open
New features are not implemented yet.
- Status changed from Open to Resolved
It was done in branch extended-witnesses around 10 days 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.
- Status changed from Open to Resolved
Multiple notes per one violation witness edge (error trace node) were supported in branch extended-witnesses.
- Status changed from Resolved to Closed
Tests passed, so, I merged the branch to master in d74545524.
Also available in: Atom
PDF