--- layout: fc_discuss_archives title: Message 99 from Frama-C-discuss on November 2013 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] why3IDE interactive proof session popup



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>