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

[Frama-c-discuss] Frama-c fails to open a C file



Thanks for taking a look at this, in the mean time, I've patched the
project's source somewhat as suggested in 2), so back to analyzing.

On Mon, 2009-03-16 at 12:36 +0100, Pascal Cuoq wrote:
> This error is caused by the normalization attempted by
> Frama-C. During the normalization, temporary variables
> (which can be named "tmp") may be introduced, which
> explains the strange error message that you are obtaining.
> 
> While we investigate the problem, workarounds are :...