Project

General

Profile

Actions

Feature #9535

closed

Bug #6629: Used CIL is outdated

Increase memory limit for Frama-C (CIL)

Added by Evgeny Novikov over 5 years ago. Updated over 5 years ago.

Status:
Closed
Priority:
Urgent
Category:
Tasks generation
Target version:
Start date:
03/13/2019
Due date:
% Done:

0%

Estimated time:
Published in build:

Description

Unfortunately it seems that Frama-C (CIL) needs much more memory than previously used CIL. Maybe 1 GB instead of 300 MB will be enough to have the same results. Also we need to increase the default memory limit for deciding verification jobs.


Related issues 1 (0 open1 closed)

Related to Deductive Verification Tools for Linux Kernel - Feature #9538: Reduce memory consumption by Frama-C (CIL)ClosedMikhail Mandrykin03/13/2019

Actions
Actions

Also available in: Atom PDF