Actions
Bug #6775
closedWell known CIL issues
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
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.
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