--- layout: fc_discuss_archives title: Message 29 from Frama-C-discuss on September 2009 ---
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