Project

General

Profile

Actions

Feature #9610

closed

Show actual Frama-C (CIL) failures

Added by Evgeny Novikov almost 5 years ago. Updated about 4 years 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 1 (0 open1 closed)

Blocks Klever - Feature #9897: Develop tutorialClosedEvgeny Novikov10/30/2019

Actions
Actions #1

Updated by Evgeny Novikov over 4 years ago

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

Actions #2

Updated by Evgeny Novikov over 4 years ago

Actions #3

Updated by Evgeny Novikov over 4 years 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.

Actions #4

Updated by Evgeny Novikov about 4 years ago

  • Status changed from Resolved to Closed

In master.

Actions

Also available in: Atom PDF