--- layout: fc_discuss_archives title: Message 60 from Frama-C-discuss on April 2010 ---
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