--- layout: fc_discuss_archives title: Message 99 from Frama-C-discuss on November 2013 ---
Hello David, Nice tip. That really solves my problem with why3ide. Seems plenty of things ahead to explore. Thanks you cheers xiaolei > From: dmentre at linux-france.org > Date: Wed, 13 Nov 2013 13:34:12 +0100 > To: frama-c-discuss at lists.gforge.inria.fr > Subject: Re: [Frama-c-discuss] why3IDE interactive proof session popup > > Hello Xiao-lei, > > 2013/11/13 Xiao-lei Cui <x_cui at hotmail.com>: > > frama-c -jessie -pp-annot *.h; > > frama-c -jessie -pp-annot *.c; > > You don't need to call frama-c on *.h files, only on .c files. > > Best regards, > david > > _______________________________________________ > 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/20131113/b062df06/attachment-0001.html>