Project

General

Profile

Actions
Copy link

Feature #6888

open

Implicitly specify target architecture for static verifiers

Added by Evgeny Novikov over 8 years ago.

Status:
New
Priority:
Normal
Assignee:
-
Category:
-
Target version:
-
Start date:
02/20/2016
Due date:
% Done:

0%

Estimated time:
Published in build:

Description

At the moment we don't leverage our knowledge about a target architecture when generating verification tasks and invoking them. We need to understand how to deal with this, in particular what to do if a target architecture isn't supported by a static verifier.

No data to display

Actions
Copy link

Also available in: Atom PDF