Show actual Frama-C (CIL) failures
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.
Updated by Evgeny Novikov 3 months ago
- 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.