--- layout: fc_discuss_archives title: Message 37 from Frama-C-discuss on February 2012 ---
Boris, are you not aware that executing visitors goes against one of the most fundamental rule of social life: hospitality? You really do not want to do that, and that's why your code cannot work. Thank goodness! Greetings, Sylvain PS: Each time I check my emails, the title of this thread nags me to write this pun, so I was doomed to succumb. Better sooner than later. On Thu, Feb 9, 2012 at 8:27 AM, Boris Hollas < hollas at informatik.htw-dresden.de> wrote: > ** > Hello, > > 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 > if I try run the plugin on a test c-file. What's missing? > -- > Best regards, > Boris > > _______________________________________________ > Frama-c-discuss mailing list > Frama-c-discuss at lists.gforge.inria.fr > http://lists.gforge.inria.fr/cgi-bin/mailman/listinfo/frama-c-discuss > -------------- next part -------------- An HTML attachment was scrubbed... URL: <http://lists.gforge.inria.fr/pipermail/frama-c-discuss/attachments/20120209/e5c5608d/attachment.htm>