Feature #9610
closed
Show actual Frama-C (CIL) failures
Added by Evgeny Novikov about 5 years ago.
Updated over 4 years ago.
Category:
Tasks generation
Description
At the moment Klever show the same error when Frama-C (CIL) fails, it just says that it fails. Then users need to analyze logs, but there may be no logs at all. We need to support something like with showing CIF errors.
This is especially important for lightweight mode since there is no information on real failures of Frama-C (CIL) in it at all.
- Status changed from New to Resolved
I implemented the issue in branch klever-3.0 . Moreover, there I fixed a bit CIF error processing. At the moment there is the only error message rather than everything printed into STDERR prior the first error. At last, there is no more the CommandError exception. Nobody handled it while it resulted in useless stack traces within unknown reports.
- Status changed from Resolved to Closed
Also available in: Atom
PDF