Project

General

Profile

Actions
Copy link

Feature #6782

closed

Support several error traces from static verifiers

Added by Evgeny Novikov almost 9 years ago. Updated over 8 years ago.

Status:
Closed
Priority:
Normal
Assignee:
Vitaly Mordan
Category:
Scheduling
Target version:
-
Start date:
02/03/2016
Due date:
% Done:

0%

Estimated time:
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.

Related issues 1 (0 open — 1 closed)

Blocks Klever - Feature #6783: Support several error traces from static verifiersClosedEvgeny Novikov02/03/2016

Actions
Actions
Copy link
 #1

Updated by Evgeny Novikov over 8 years ago

  • 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.

Actions
Copy link

Also available in: Atom PDF