Bug #6775
closed
Added by Evgeny Novikov almost 9 years ago.
Updated over 5 years ago.
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):
- #5387.
- #5012.
- #4798.
- #1334.
- #1333.
- #1323.
I am not sure that updating CIL (#6629) will help us but who knows.
- Description updated (diff)
- Status changed from New to Rejected
After switching to Frama-C (CIL) I did not see any of these bugs.
- Priority changed from Normal to Urgent
Perhaps the normal priority automatically changed the priority of the blocking issue.
Also available in: Atom
PDF