Project

General

Profile

Actions
Copy link

Feature #6783

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:
Evgeny Novikov
Category:
Tasks generation
Target version:
-
Start date:
02/03/2016
Due date:
% Done:

0%

Estimated time:
Published in build:
94b0f25

Description

Static verifiers (I know just CPAchecker) can issue several error traces (witnesses) and we can take this into account. This a deal of the verification results processor.

Related issues 2 (0 open — 2 closed)

Blocked by Klever - Feature #6782: Support several error traces from static verifiersClosedVitaly Mordan02/03/2016

Actions
Blocks Klever - Feature #6692: Support multi-aspect verificationClosedVitaly Mordan02/02/2016

Actions
Actions
Copy link
 #1

Updated by Evgeny Novikov over 8 years ago

  • Status changed from New to Closed
  • Assignee set to Evgeny Novikov
  • Published in build set to 94b0f25

Implemented in 94b0f25 of the master branch.

Actions
Copy link

Also available in: Atom PDF