--- layout: fc_discuss_archives title: Message 68 from Frama-C-discuss on October 2013 ---
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.