Project

General

Profile

Actions
Copy link

Feature #6691

closed

Support several bug kinds

Added by Evgeny Novikov about 8 years ago. Updated almost 8 years ago.

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

0%

Estimated time:
Published in build:

Description

At the moment bug kinds are totally ignored since it is assumed that we always search for reachability of one error label/function. But already now we can generate a verification task, say, for each bug kind. Later we will be able to find several bug kinds almost independently at once. Intermediate strategies that combine several bug kinds together are also possible.

Related issues 1 (0 open — 1 closed)

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

Actions
Actions
Copy link
 #1

Updated by Evgeny Novikov about 8 years ago

  • Assignee set to Vitaly Mordan

This is a precondition for so called multi-aspect verification.

Actions
Copy link
 #2

Updated by Evgeny Novikov almost 8 years ago

  • Category deleted (Tasks generation)
  • Status changed from New to Closed

This is one of the features that were mentioned at #7237. Any way we will re-design and re-implement everything related with this.

Actions
Copy link

Also available in: Atom PDF