--- layout: fc_discuss_archives title: Message 60 from Frama-C-discuss on April 2010 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] why-2.24 install question



Claude Marche a ?crit :
> Claude Marche wrote:
>>> max1.c:2:[kernel] user error: Error during annotations analysis: 
>>> unbound logic variable NULL
>>>   
>> you need option -pp-annot of frama-c. You are right, it should be said 
>> in the tutorial...
>>
> I should have said more: first the -pp-annot option is not recommended 
> since it is not guaranteed to work in any environment, I think it 
> requires gcc to be the preprocessor. I guess there is something about 
> that in the FAQ?

The -pp-annot option as well as all the other general options of Frama-C 
is fully documented in the Frama-C user manual.

This particular option is described page 23 of the manual (easy to find 
through the index).

--
Julien