Process extended format of violation witnesses
We already had a lot of issues regarding various printers of violation witnesses. And we will have them unless there will be the only printer of witnesses that will follow the extended format. Moreover, the new approach will allow to avoid changes with printing of violation witnesses in any static verification tools. Each of them will either strictly follow the extended format itself or their witnesses will be passed through the printer.
Updated by Evgeny Novikov about 2 months ago
- Status changed from New to Closed
At last all subtasks are closed, so, we have support for extended violation witnesses in master! This change is not backward compatible, so, you need to re-install Klever completely after update. I hope that this is the last such change for Klever 3.0 and much time beyond.