Feature #8494
Process extended format of violation witnesses
Start date:
05/11/2017
Due date:
07/02/2019
% Done:
100%
Estimated time:
(Total: 0.00 h)
Published in build:
Description
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.
Subtasks
Related issues
History
Updated by Evgeny Novikov almost 2 years ago
Updated by - Target version changed from 2.0 to 3.0
I don't believe that we will be able to include this into Klever 2.0.
Updated by Evgeny Novikov over 1 year ago
- Assignee changed from Ilja Zakharov to Evgeny Novikov
Ilja will do a real job unlike us in near future.
Updated by Evgeny Novikov 9 months ago
- Blocks Bug #9393: Problem with memleak visualization on absent return from void function added
Updated by Evgeny Novikov 5 months ago
- Blocks deleted (Bug #8500: Environment model simplifications can break error traces)
Updated by Evgeny Novikov 5 months ago
- Blocks deleted (Bug #9393: Problem with memleak visualization on absent return from void function)