Project

General

Profile

Actions
Copy link

Feature #9610

closed

Show actual Frama-C (CIL) failures

Added by Evgeny Novikov over 5 years ago. Updated almost 5 years ago.

Status:
Closed
Priority:
Urgent
Assignee:
Evgeny Novikov
Category:
Tasks generation
Target version:
3.0
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 open — 1 closed)

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

Actions
Actions
Copy link
 #1

Updated by Evgeny Novikov about 5 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
Copy link
 #2

Updated by Evgeny Novikov about 5 years ago

Actions
Copy link
 #3

Updated by Evgeny Novikov about 5 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
Copy link
 #4

Updated by Evgeny Novikov almost 5 years ago

  • Status changed from Resolved to Closed

In master.

Actions
Copy link

Also available in: Atom PDF