--- layout: fc_discuss_archives title: Message 31 from Frama-C-discuss on February 2012 ---
Hello, On 02/09/2012 08:27 AM, Boris Hollas wrote: > in example 5.14.7 of the plugin-developer guide, the copy visitor is > initialized with File.create_project_from_visitor. However, this doesn't > execute the visitor and I get > [kernel] warning: no input file This message only indicates that you do not specify any C file on the Frama-C command line. It should not be related to your visitor. > if I try run the plugin on a test c-file. What's missing? The example provided in the Plug-in Developer Guide is out-of-date and, if I remember correctly, it does not compile anymore with the last version of Frama-C, even if the call to File.create_project_from_visitor should be correct. Thus you probably try something else. What do you exactly try? Best regards, Julien