Actions
Feature #8382
closedProvide a way to prepare verification tasks without CIL
Status:
Rejected
Priority:
High
Assignee:
-
Category:
-
Target version:
-
Start date:
08/24/2017
Due date:
% Done:
0%
Estimated time:
Published in build:
Description
Right now we pass to verification tools a single C verification file. For that purpose we are using a well known veteran CIL which is proved to be useful for many years. At the same time, CIL is not actively supported and may become a bottleneck someday. We need a way to prepare verification tasks without CIL. Hopefully verifiers have done steps towards verification of multiple files
Actions