--- layout: fc_discuss_archives title: Message 69 from Frama-C-discuss on October 2013 ---
Oops, my mistake, this directory is not distributed (for licensing reasons) - Claude On 10/17/2013 01:33 PM, Stephen Siegel wrote: > > On Oct 10, 2013, at 8:29 AM, Claude March? <Claude.Marche at inria.fr> wrote: > >> You can find examples either on the gallery >> >> http://toccata.lri.fr/gallery/frama-c.en.html >> >> or in the Why sources in dir tests/c and frama-c-plugin/tests/jessie > > I see the examples in tests/c but there doesn't seem to be any > directory frama-c-plugin/tests/jessie in why-2.33. > > > > _______________________________________________ > 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 >