--- layout: fc_discuss_archives title: Message 19 from Frama-C-discuss on November 2011 ---
Beware, -jessie-help is not a frama-c option (as far as I know). In my previous message, I typed: jessie -help for the -help option of the jessie command line... Anyway, it gives you all the options. - Nicolas > Message du 07/11/11 12:19 > De : "Christofi Maria" > A : "frama-c-discuss at lists.gforge.inria.fr" > Copie ? : > Objet : [Frama-c-discuss] Partial verification > > Perfect! > -verify does exactly what I wanted. > Thank you a lot! :) > > Is there any way to see all the options that you can give to Jessie or why? > (neither -jessie-help nor the manual gives more details about the options.) > > Thanks again! > Maria > > > _______________________________________________ > 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 > Une messagerie gratuite, garantie ? vie et des services en plus, ?a vous tente ? Je cr?e ma bo?te mail www.laposte.net -------------- next part -------------- An HTML attachment was scrubbed... URL: <http://lists.gforge.inria.fr/pipermail/frama-c-discuss/attachments/20111107/513855bb/attachment.htm>