--- layout: fc_discuss_archives title: Message 20 from Frama-C-discuss on August 2015 ---
Here is my latest version: http://www.thenewsh.com/~newsham/frama/knock-1.tgz I run analysis with the "Frama" script inside the knock dir. On Mon, Aug 17, 2015 at 10:49 PM, David MENTRE <dmentre at linux-france.org> wrote: > Hello Tim, > > Le 18/08/2015 08:44, Tim Newsham a écrit : > >> PS: none of this code is 'secret', so I can provide a full >> example if it is helpful. >> > > Always provide a complete example, with the command line used for the > analysis. Frama-C has so many options and is very sensitive to its > configuration. > > Best regards, > david > > > _______________________________________________ > Frama-c-discuss mailing list > Frama-c-discuss at lists.gforge.inria.fr > http://lists.gforge.inria.fr/mailman/listinfo/frama-c-discuss > -- Tim Newsham | www.thenewsh.com/~newsham | @newshtwit | thenewsh.blogspot.com -------------- next part -------------- An HTML attachment was scrubbed... URL: <http://lists.gforge.inria.fr/pipermail/frama-c-discuss/attachments/20150817/d86bda2f/attachment.html>