Feature #6782
closed
Support several error traces from static verifiers
Added by Evgeny Novikov almost 9 years ago.
Updated over 8 years ago.
Published in build:
de35cd7
Description
Static verifiers (I know just CPAchecker) can issue several error traces (witnesses) and we can take this into account. This a deal of scheduler workers.
- Status changed from New to Closed
- Assignee set to Vitaly Mordan
- Published in build set to de35cd7
The commit implementing this feature was cherry picked from branch mav in de35cd7.
Implementation has one side effect. In addition to passing witnesses (error traces) from Task Worker to Klever Core it also passes all content of the output directory. Sometimes this may be helpful.
Also available in: Atom
PDF