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

[Frama-c-discuss] examples



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.