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

[Frama-c-discuss] examples



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
>