Project

General

Profile

Actions
Copy link

Feature #6691

closed

Support several bug kinds

Added by Evgeny Novikov over 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

Also available in: Atom PDF