Project

General

Profile

Feature #9610

Show actual Frama-C (CIL) failures

Added by Evgeny Novikov 9 months ago. Updated 10 days ago.

Status:
Closed
Priority:
Urgent
Category:
Tasks generation
Target version:
Start date:
04/19/2019
Due date:
% Done:

0%

Estimated time:
Published in build:

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.


Related issues

Blocks Klever - Feature #9897: Develop tutorialNew10/30/2019

Actions

History

#1

Updated by Evgeny Novikov 4 months ago

This is especially important for lightweight mode since there is no information on real failures of Frama-C (CIL) in it at all.

#2

Updated by Evgeny Novikov 3 months ago

#3

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.

#4

Updated by Evgeny Novikov 10 days ago

  • Status changed from Resolved to Closed

In master.

Also available in: Atom PDF