--- layout: fc_discuss_archives title: Message 29 from Frama-C-discuss on September 2009 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] what to do when Frama-c tells me to submit a bug



Hello,

I would like to know what I have to do when Frama-c tells me to submit sth.
to the bts.

That was my call:

$ frama-c -jessie max.h
[kernel] preprocessing with "gcc -C -E -I.  -dD max.h"
[jessie] Starting Jessie translation
[jessie] user error: Nothing to process. There was probably an error before.
max.h:27:[jessie] failure: Unexpected exception.
                  Please submit bug report (Ref.
"Log.AbortError("jessie")").
[kernel] Plugin jessie aborted because of an internal error.
         Please report with 'crash' at http://bts.frama-c.com


Obviously, the analysis of .h files is no longer supported and will cause an
error.
By the way, I would prefer to analyse .h files as well, this would allow me
to check the function contract for syntactical errors.

Ok, back to my question:

What shall I submit? Is there a file created by frama-c , if so, I cannot
find it.
And if there is no bugreport created by frama-c I think it would be a good
Idea to let frama-c create a file, I could mail to you. Otherwise, I would
have no Idea what to post. 

If you have already something like a microsoft of mozilla bug reporting
system, I would like to know how to use it.
If not, I believe it would be beneficial for both, the user and the
developer.


Sincerely

Christoph
-------------- next part --------------
A non-text attachment was scrubbed...
Name: not available
Type: application/ms-tnef
Size: 3637 bytes
Desc: not available
Url : http://lists.gforge.inria.fr/pipermail/frama-c-discuss/attachments/20090911/d461c830/attachment.bin