Feature #9458
closedFeature #8494: Process extended format of violation witnesses
Visualize a new format of error traces
100%
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.
Updated by Vladimir Gratinskiy over 5 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.
Updated by Evgeny Novikov about 4 years ago
- Related to Feature #9459: Generate error traces in a new format added
Updated by Evgeny Novikov about 4 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.
Updated by Evgeny Novikov about 4 years ago
- Has duplicate Feature #10554: Visualize declarations and advanced notes added
Updated by Evgeny Novikov about 4 years ago
- Status changed from Resolved to Open
New features are not implemented yet.
Updated by Evgeny Novikov about 4 years ago
- Status changed from Open to Resolved
It was done in branch extended-witnesses around 10 days ago.
Updated by Evgeny Novikov about 4 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.
Updated by Evgeny Novikov about 4 years ago
- Status changed from Open to Resolved
Multiple notes per one violation witness edge (error trace node) were supported in branch extended-witnesses.
Updated by Evgeny Novikov about 4 years ago
- Status changed from Resolved to Closed
Tests passed, so, I merged the branch to master in d74545524.