Project

General

Profile

Actions
Copy link

Bug #6775

closed

Well known CIL issues

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

Status:
Rejected
Priority:
Urgent
Assignee:
-
Category:
Addons
Target version:
-
Start date:
02/03/2016
Due date:
% Done:

0%

Estimated time:
Detected in build:
svn
Platform:
Published in build:

Description

CIL is used in both LDV Tools and in Core and we have to track its issues. In particular there are several ones well known from LDV Tools (too much useless labour to move them to Klever):
  1. #5387.
  2. #5012.
  3. #4798.
  4. #1334.
  5. #1333.
  6. #1323.

I am not sure that updating CIL (#6629) will help us but who knows.

Related issues 1 (0 open — 1 closed)

Blocked by Klever - Bug #6629: Used CIL is outdatedClosedEvgeny Novikov03/13/2019

Actions
Actions
Copy link
 #1

Updated by Evgeny Novikov almost 9 years ago

  • Description updated (diff)
Actions
Copy link
 #2

Updated by Evgeny Novikov over 5 years ago

  • Status changed from New to Rejected

After switching to Frama-C (CIL) I did not see any of these bugs.

Actions
Copy link
 #3

Updated by Evgeny Novikov over 5 years ago

  • Priority changed from Normal to Urgent

Perhaps the normal priority automatically changed the priority of the blocking issue.

Actions
Copy link

Also available in: Atom PDF