Separate verification tasks generation and verification results processing
At the moment Verification Tasks Generator both produces verification tasks on the basis of the abstract ones and a specified configuration and processes verification results including processing of error traces (witnesses), processing of static verifier logs and preparing corresponding reports.
This confuses everybody including me. In particular the same category Tasks generation is used for all relevant issues.
I hope that we can separate them gracefully both in code (in addition we will get one more level of parallelism) and here.
Updated by Evgeny Novikov over 4 years ago
Actually we designed this with Ilja as it is now due to Verification Tasks Generator can generate further verification tasks in accordance with processed verification results (e.g. it will be the case with multi-aspect verification - #6692) not only with new abstract verification tasks. So it won't be so easy to separate these functions.